/* CSS for left navigation bar */

.ltx_page_navbar {
    display:block!important; position:fixed; left:80%; top:0px; width:20%;
    margin:0em; padding:1em; font: bold 75% sans-serif; overflow-y: auto; max-height: 95vh; }
.ltx_page_navbar ol,
.ltx_page_navbar ul {
    margin-left:-2em; }
.ltx_page_main {
    margin:0px; padding:1em 3em 1em 2em;
    padding:min(1em,1.5%) min(3em,4.5%) min(1em,1.5%) min(2em, 3%);
    width:75%; }