@charset "UTF-8";
div.pinmenu {
    position: fixed;
    right:1em;
}

div.show_menu { width:100%;text-align:right;visibility:collapse;font-size:small; }
div.hide_menu { margin-left:4em;visibility:collapse;font-size:small; }

div.page {
    position:static;
    margin-left: 1em;
    margin-top: 1em;
    width:75%;
}

table.thumbnails { margin-left: 1em; }