/*@prexec
page_bg = '#e8efef'
@*/

/* BASICS */
* {
    margin: 0;
    padding: 0;
}

body {
    /*@preval 'background-color: ' + page_bg + ';\n'@*/
}

#minilogo {
    color: #008000;
    position: fixed;
    top: 0;
    right: 0;
    width: 20px;
    height: 126px;
    background: url('/static/metanohi-minilogo.png') no-repeat center;
}

#menu {
    background-color: #191919;
    text-align: center;
    margin-bottom: 10px;
}

#menulinks {
    /*@preval 'background-color: ' + page_bg + ';\n'@*/
    display: inline-block;
    padding: 2px 0 2px 16px;
    font-size: 18px;
}

ul#menulinks {
    margin: 0;
}

#menulinks li {
    display: inline;
    list-style: none;
    margin-right: 16px;
}

#menulinks a, #menulinks span {
    white-space: nowrap;
}

#menulinks li a:link, #menulinks li a:visited {
    color: #243300;
}

#menulinks li a:hover {
    color: #425dff;
}

#menulinks li.current span {
    color: #2433ff;
}

#content {
    width: 700px;
    margin: 0 auto;
    padding: 15px;
    background-color: #e9e9e9;
    border-color: #ddd;
    border-style: solid;
    border-width: 3px 1px;
    position: relative;
}

#body.full {
    position: absolute;
    right: 20px;
    left: 0px;
}

#body.full #content {
    margin: 0 7px;
    width: auto;
}

#logo {
    margin-top: 10px;
    background: #111111;
    height: 90px;
}

#logo a {
    display: block;
    margin: 0 auto;
    padding-top: 14px;
    width: 750px;
    height: 91px;
    /*@preval 'background: ' + page_bg + \
      " url('/static/metanohi-logo.png') no-repeat center;\n"@*/
}

#body.full #logo {
    
}

.highlighttable .code {
    width: 600px;
}

pre {
    max-width: 660px;
    overflow: auto;
}