/* Force all browsers (including future CSS3 browsers) to use the traditional box model */
* {
 box-sizing: border-box;
 -moz-box-sizing: border-box;
}

/* Start from common margin and padding (stolen from HTML 4.0 spec recommendations) */

* { margin: 0; padding: 0; }

#content h1 { margin: .67em 0; }
#content h2 { margin: .83em 0; }
#content h3 { margin: 1em 0; }
#content h4, #content p, #content ul { margin: 1.33em 0; }
#content h5 { margin: 1.67em 0; }
#content h6 { margin: 2.33em 0; }
#content ol, #content ul { margin-left: 40px; }
#content ol ul, #content ul ol, #content ul ul, #content ol ol { margin-top: 0; margin-bottom: 0; }

/* Common classes */

.hidden {
 display: none;
}

/* Navigation */

#menu {
 margin-left: 5%;
 margin-right: 5%;
 border-style: none;
 background-color: #9CF;
 display: none;
}

div.menu {
 color: #FFF;
 background-color: #036;
 font-weight: bold;
 border: solid 1pt #369;
}

div.menu_current, a.menu_current, div.menu_current_parent, a.menu_current_parent {
 background-color: #369;
}

div.menu_current, a.menu_current {
 cursor: default;
}

div.menu_toplevel {
 display: inline;
 height: 1.5em;
}

div.menu_submenu {
 position: absolute;
}

div.menu_submenu div {
 border-style: none;
 background-color: #258;
}

a.menu {
 color: #FFF;
 display: block;
 text-decoration: none;
 font-weight: bold;
 padding: .2em .8em .2em .8em;
}

div.menu_toplevel a { display: inline; }

div.menu_hover, div.menu_parent_hover, div.menu_submenu div.menu_hover, div.menu_submenu div.menu_parent_hover {
 background-color: #69C;
}

/* Header */

#directory {
 padding: .5em;
 background-color: #69C;
 font-weight: bold;
}

/* Footer */

#footer {
 clear: both;
}

#footer_first_posted {
 float: left;
}

#footer_last_modified {
 float: right;
}

/* Content */

html, body {
 background-color: #9CF;
}

#content .new {
 background-color: #CFF;
}

#content {
 margin-left: 15%;
 margin-right: 15%;
}

#content.content_fullsize {
 margin: 0em;
}

#content h1 {
 margin-top: .5em;
}

#content * {
 line-height: 130%;
}

/* Quotations */

.quote_source {
 font-size: smaller;
 font-style: italic;
 text-align: right;
}