/*@prexec
page_bg = '#e8efef'
@*/
* {
    margin: 0;
    padding: 0;
}

body {
    /*@preval 'background-color: ' + page_bg + ';\n'@*/
    font-family: 'Dejavu Sans', 'Nimbus Sans', Helvetica, Arial, Verdana, sans-serif;
    font-size: 12px;
    color: #000;
}

#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;
}

#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;
}

#body {
    width: 720px;
    margin: 0 auto;
    padding: 5px;
    background-color: #e9e9e9;
    border-color: #ddd;
    border-style: solid;
    border-width: 3px 1px;
    position: relative;
}

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

#body ul, #body ol {
	margin-left: 15px;
}

#body li {
	list-style: square outside none;
}

#metadata {
    margin-top: 10px;
    border-style: dashed;
    border-color: #ccc;
    border-width: 4px 0 0 0;
    background: #aaa url('/static/metadata.png') no-repeat right bottom;
    padding: 2px 5px;
    color: #fff;
}

#metadata table, #metadata td, #metadata th {
    border: None;
    margin: 0;
}

#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"@*/
}

#toc {
    background-color: #ddd;
    border: 2px dotted #aaa;
    display: inline-block;
    padding: 4px 9px;
    margin: 2px 0 10px 4px;
}

#toc ul {
    
}

#toc li.level1 {
    margin-left: 0;
}

#toc li.level2 {
    margin-left: 10px;
}

#toc li.level3 {
    margin-left: 19px;
}

#toc li.level4 {
    margin-left: 27px;
}

#toc li.level5 {
    margin-left: 34px;
}

#toc li.level6 {
    margin-left: 40px;
}


a {
    text-decoration: none;
}

a:link, a:visited {
    color: #004a7f;
}

a:hover {
    color: #200cff;
}

h1, h2, h3, h4, h5, h6 {
    font-family: 'Dejavu Serif', FreeSerif, 'Nimbus Roman', Georgia, serif;
    font-weight: normal;
}

h1 {
    margin-top: 10px;
    font-size: 26px;
}

h1:first-child {
    margin-top: 0;
}

h2 {
    margin-top: 9px;
    font-size: 22px;
}

h3 {
    margin-top: 6px;
    font-size: 19px;
}

h4 {
    margin-top: 5px;
    font-size: 16px;
    font-weight: bold;
}

h5 {
    margin-top: 3px;
    font-size: 14px;
    font-weight: bold;
}

h6 {
    margin-top: 2px;
    font-size: 12px;
    font-weight: bold;
}

p {
    text-align: justify;
    margin-bottom: 5px;
}

img {
    border: none;
}

table {
	margin: 0 auto;
    border-collapse: collapse;
}

table, td, th {
    border: 1px solid black;
}

td, th {
	margin: 0 5px;
	padding: 1px 3px;
}

.strong {
    font-weight: bold;
}

.emph {
    font-style: italic;
}

.center-align {
    text-align: center;
}

.right-align {
    text-align: right;
}

.left-align {
    text-align: left;
}

.center-float {
    margin: 0 auto;
}

.right-float {
    float: right;
}

.left-float {
    float: left;
}

.block {
    display: block;
}

.inline {
    display: inline;
}