BODY {
        margin: 0px ;
        overflow: hidden ;
        font-family: sans-serif ;
        }
BODY > DIV {
        white-space: nowrap ;
        }
BUTTON {
        padding: 0px;
        margin-left: 0.5em;
        margin-right: 0.5em;
        border: 1px solid #888;
        }
.header {
        background: linear-gradient(90deg, #F8FFF8, #DDF);
        margin-top: 0;
        white-space: nowrap;
        padding: 0.5em ;
        }
.buttons {
        position: relative ;
        height: 1.5em ;
        }
.time_travel, .time_travel BUTTON {
        font-size: 90% ;
        }
.time_travel {
        float: right;
        }
.header:hover BUTTON {
        background: #FFF;
        }