/***************************************************************************
 *
 *   Computed HTML Runtime Environment
 *
 *   This program is free software; you can redistribute it and/or modify
 *   it under the terms of the GNU General Public License as published by
 *   the Free Software Foundation; either version 2 of the License, or
 *   (at your option) any later version.
 *
 *   This program is distributed in the hope that it will be useful,
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 *   GNU General Public License for more details.
 *
 ***************************************************************************/


#side-nav {
    font-family:sans-serif;
/*    font-family:"IBM Plex Sans",sans-serif;   */
    height: 100%;
    width: 0;
    position: fixed;
    z-index: 1;
    top: 0;
    left: 0;
    background-color: #fff;
    overflow-x: hidden;
    transition: 0.5s;
    padding-top: 60px;
}

#side-nav a {
    padding: 8px 8px 8px 32px;
    text-decoration: none;
    font-size: 25px;
    color: #000;
    display: block;
    transition: 0.3s;
}

#side-nav a:hover {
    color: #f1f1f1;
}

#side-nav .closebtn {
    position: absolute;
    top: 0;
    right: 25px;
    font-size: 36px;
    margin-left: 50px;
}

@media screen and (max-height: 450px) {
    #side-nav {padding-top: 15px;}
    #side-nav a {font-size: 18px;}
}

header {
    position: fixed;
    top: 0;
    width: 100%;
    padding:0;
    color: white;
    z-index: 1; 
    text-align:center;
}

main, footer {
    min-width:320px;
    max-width:768px;   
    margin:0 auto 0 auto;
}

.menubar, .footerbar {
    margin:0 auto 0 auto;
    min-width:320px;
    max-width:768px;    
    height:48px; 
    line-height:48px;  opacity:1;
    background:white;
}

.menubar {
    display:flex;
    justify-content: space-between;
    padding-left:8px; border-bottom:#000 1px solid;
}

.footerbar {
    border-bottom:none;
    text-align:center;
    padding-top:8px;
}

footer, .footerbar {
    background:transparent;
}

main {
    margin-top:64px;
    padding:0 8px 0 8px;
    margin-bottom:0;
}

header,footer {
    height:48px;
}

#hmenu {
font-family:sans-serif;
/*    font-family: "IBM Plex Sans", sans-serif; */
    margin-top:-2px;
}

#hlogo {
    font-family: P052, serif;
/*    font-family: 'Palladio URW', serif;*/
    font-weight:bold;
    font-size:24px;
    text-align:left;
    margin-left:12px;
    color:black;
    margin:0;padding:0;
    line-height:48px;
}

#fmenu, #flogo {    
font-family:sans-serif;
/*    font-family: "IBM Plex Sans", sans-serif; */
    height:28px;
    font-size:16px;
    line-height:16px;
    padding-top:4px;
}

a.hoverdeco {
     text-decoration:none;
}

a.hoverdeco:hover {
    text-decoration:underline;
}

ul.head, ul.foot {
    list-style-type: none;
    margin: 0;
    padding: 0;   
}

ul.head {
    color:white;
}

li a.head, li a.foot {
    text-decoration:none;
}

li.head {
    font-size:18px;
}

li.foot {
    margin:0;
    padding:8px;
    font-size:16px;
    line-height:16px;
}

li a.head:hover, li a.foot:hover {
    text-decoration:underline;
}

li.head, li.foot {
    display:inline;
}

li.foot {
    margin:0;
}


#last_modified {
    font-family:serif; 
/*    font-family:'IBM Plex Serif',serif; */
    font-style:italic; 
    margin-bottom:1em;
}

pre code {
  background-color: #eee;
  border: 1px solid #999;
  display: block;
  padding: 20px;
}