body {
/*   align : center;
  margin-left : auto;
   margin-right : auto;
   padding-left : 5em;
   padding-right : 5em;
   width : 40em; */
   font-family: Verdana, Arial, Helvetica, sans-serif;
   color : black; 
   background-color : white; 
}

.center
{
   text-indent: 0;
   text-align: center;
   margin-left: 0%;
}

.definition {
   font-style : italic;
}

p.address {
   font-size : smaller;
   text-align : center;
}

p.title {
   text-align : center;
}

img.csc_logo {
   width : 123px;
   height : 111px;
   align : center;
}

img.csc_menulogo {
   width : 69px;
   height : 62px;
   align : center;
   border : 0;
}

img.csc_logo_small {
   align : center;
   border-style : none;
}

div.menu {
    position: fixed;
    margin-top: 1em;
    margin-left: 1em;
    width: 9em;
    /* everything below is needed because of Netscape 4.x only */
    float: left;
    padding: 0.2em 0.2em 1.2em 0.2em;
}

div.menu a, div.menu em { display: block; margin: 0 0.5em }

div.menu p {
    margin: 0;
    padding: 0.3em 0.4em;
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

div.page {
    margin-left: 12em;
    margin-right: 2%;
}

div.code {
  margin-left: 3em; 
  margin-right: 6em; 
  background-color : #EEE; 
}

div.code pre {
   padding: 0.6em 0.3em;
}
 

span.navbarTop
{
  font-style: italic;
  margin-left: 1em;   
}

span.navbarHeading
{
  font-style: italic;
  margin-left: 1em;   
}

a.menu:hover { background: black; color: white; }