div.navigation-bar {
        position: absolute;
	width: 15em;
        top: 1ex;
        left: 1em;
        right: 2em;
        border-right: inset;
}

/*
 * @see http://www.w3.org/Style/Examples/007/menus
 */
body>div.navigation-bar { position: fixed; }
div>div.navigation-bar  { position: fixed; }

div.navigation-bar ul {
        margin: 0; 
/*
        background: #900;
        border: thin outset #900;
        color: white;
*/
}

div.navigation-bar li, li.MsoToc1 {
        border-width: 0,0,0,0;
        margin: 0,0,0,0;
        margin-bottom:  0.001pt;
/*
        background: #900;
        border: thin outset #900;
        color: white;
*/
        list-style-type: none;
}

div.navigation-bar li.MsoToc2 {
        border-width: 0,0,0,0;
        border: 0.001pt solid white;
        margin: 0,0,0,1em; 
        margin-bottom:  0.001pt;
/*
        background: #900;
        color: white;
*/
        list-style-type: none;
}

div.navigation-bar a, .navigation-bar em { display: block; margin: 0 0.5em }
/*
div.navigation-bar a, .navigation-bar em { border-top: 2px groove #900 }
*/
div.navigation-bar a:first-child { border-top: none }
/*
.navigation-bar em { color: #CFC }
*/

div.navigation-bar a:link { text-decoration: none; /*color: white*/ }
div.navigation-bar a:visited { text-decoration: none; /*color: #CCC*/ }
div.navigation-bar a:hover { text-decoration: underline; /*background: black; color: white*/ }

div.content {
/*	float: left; */
        margin-left: 18em;
}