body {
    background-color: #D0D0D0;
}
div#page {
    background-color: #FFFFFF;
}
div#header {
}
div#content {
}
div#footer {
    text-align:right;
}
div#jump_panel {
    position:fixed;
/*    width:200px;*/
    background-color:white;
    border:solid 1px;
    border-color:#808080;
    padding-right:1em;
    white-space:nowrap;
}

a {
    text-decoration: none;
}

.img-button {
    width:64px;
    height:64px;
    margin:4px;
    padding:4px;
    border:solid 1px #808080;
    filter.alpha(opacity=67);
    opacity:0.67;
}
.img-button:hover{
    filter.alpha(opacity=100);
    opacity:1.0;
}