/*
 * Structural layout, i.e. positioning of layout items
 */

body
{
    padding: 0px;
    margin: 0px;
}

/* Full-width decorative header at top */
div#header
{
    padding: 40px;

    text-align: left;

    font-size: 300%;
    font-weight: bold;

    border-bottom: 1px dotted #aaa;
}

/* 
 * Container for horizontal layout 
 * XXX: for equal-height columns, I believe; see #menu
 */
div#container
{
    overflow: hidden;
}

/* Left column in content layout, below header */
div#menu
{
    float: left;

    /* Evil? */
    /* XXX: this seems to break #fragment links */
    padding-bottom: 2000px;
    margin-bottom: -2000px;
            
    border-right: 1px dotted #aaa;
}

div#menu ul
{
    margin: 0px;
    padding: 0px;

    list-style-type: none;

    width: 180px;
}

div#menu li a
{
    display: block;

    padding: 10px;
    padding-left: 20px;
}

/*
div#menu li a:hover
{
    background-color: #ddd;
    text-decoration: none;
}
*/

/* Content-width compact navigation menu below header and next to menu*/
div#nav
{
    margin-left: 180px;

    padding: 0px;

    border-bottom: 1px dotted #aaa;
}

div#nav ul
{
    list-style-type: none;
    white-space: nowrap;

    padding: 5px 0px;
    margin: 0px;
}

div#nav li 
{
    display: inline;

    padding: 0px;

    border-left: 1px dotted #aaa;
}

div#nav li:first-child
{
    border-left: none;
}

div#nav li a
{
    padding: 5px 10px;

}

/* Main content view */
div#content
{
    margin-left: 180px;

    padding: 10px 50px 10px 25px;
}

/* Full-width Footer at bottom of page */
div#footer
{
    padding: 10px;

    border-top: 1px dotted #aaa;

    font-size: x-small;
    font-style: italic;

    text-align: center;
}