body           {
                background-color: white;
                background-image: url('/_snaplook/images/menu-image.png');
                background-repeat: repeat-y;
                font-family: sans-serif;
               }

.menudiv       {
                position: absolute; 
                left: 3px; 
                top: 5px;
                width: 175px;
		font-size: 90%;
               }

.bodydiv       {
                position: absolute; 
                left: 170px; 
                top: 5px; 
                padding-left: 2%; 
                padding-right: 2%; 
                margin-top: 1%;
               }

.contentdiv    {
                text-align: justified; 
                width: 100%;
                font-size: normal;
               }

.menuitems     {
                margin-left: 7px; 
                margin-right: 7px;
                padding-top: 5px;
		width: 175px;
		height: 650px;
               }

li.menuitem    {
                padding-left: 7px;
                list-style-type: none;
                font-size: smaller;
		margin-left: 0in; 
		margin-right: 0in; 
		margin-top: 3.0pt; 
		margin-bottom: 0.0000pt;
		font-size: 140%;
               }


.navbar        {
                text-align: right; 
                width: 100%;
                font-size: smaller;
               }

.footer        {
                border-top: 1px solid gray; 
                text-align: right;
                margin-top: 2%;
                font-size: smaller;
               }

h1,h3 	       {
                border-bottom: 1px solid gray; 
                border-top: 1px solid gray;
                background-color: whitesmoke; 
                font-weight: bold;
                font-color: black;
               }

h2	       {
                border-bottom: 1px solid gray; 
                background-color: white; 
                font-weight: bold;
                font-color: black;
               }

h4,h5	       {
                background-color: white; 
                font-weight: bold;
                font-color: black;
		font-size: 110%;
               }

.menutitle     {
                margin-top: 1em;
                margin-bottom: 1px;
               }

.printonly     {
		display: none;
               }

a    	       {
	        text-decoration: none;
	        color: #15317E;
	       }

a:hover        {
		text-decoration: none;
		color: #111;
               }

a:visited      {
                color: #15317E;
               }

a:visited:hover{
                color: #111;
               }

dt             {
                font-weight: bold;
                border-top: 1px solid lightgray;
                margin-top: 1%;
                background-color: whitesmoke;
               }

pre.example    {
                background-color: silver;
                border-left: 3px double gray;
                padding: 5px;
               }