body {
    background-color: #D8D8D8;
    font-size: 10px;
    font-family: Verdana, Arial, Sans-Serif;
    padding: 0;
    margin: 0;
}

/* a { position: relative; } */
  
a:link, a:visited {
    text-decoration: none;
    color: #0D3765;
} 

a:hover {
    text-decoration: underline;
}

#page {
    color: #3F3F3F;
    width: 78em;
    margin-bottom: 1em;
    margin-left: auto;
    margin-right: auto;
    background-color: #fff;
    border-left:    1px solid #CCC;
    border-right:   1px solid #CCC;
    border-bottom:  1px solid #CCC;
}

#header, #vis {
    padding: 0; margin: 0;
  height: 16em !important;
  max-height: 16em !important;
    width: 78em;
    position: relative;
}

#header {
    background: #134A86 url("gradient.png") no-repeat top;
}

#logo {
  width: 22em;
    height: 15em;
    display: block;
    background: transparent url("logo.png");
}

#content {
    background-color: #ffffff;
    padding: 0;
    margin-top: 4em;
    padding-bottom: 4em;
    margin-left: 27em;
    width: 45em;
}

#content p, #content pre, #content td {
    font-size: 1.2em;
}

#content ul, #content ol {
    font-size: 12px;
}


#content table.quickref{
  width: 45em;
}

#content table.quickref td {
    font-size: 0.95em;  
}

#content table {
  border: 0;
}

#content table tr, #content table td {
  padding:0; margin:0;
}

#content table td {
  padding-right:  6px;  
  padding-bottom: 12px;  
}

#content textarea {
  width:50em; height:30em;
  font-family: monospace;
}

#content h1 {
  font-size: 1.7em;
}

#content h2 {
  font-size: 1.4em;
}

#content h3 {
  font-size: 1.2em;
}

#content ul {
  margin-left:0;
    padding-left:2em;
}

div#content { 
    min-height: 35em;
}

#sidebar {
  float: left;
    width: 20em;
    margin: 0;
    padding: 4.5em 2em 2em 3em;
}

#sidebar p, #sidebar li, #sidebar ol{
    font-size: 1.1em;
}

#sidebar ul { list-style:none; padding:0px; margin:0px; }
#sidebar li { margin:0px; margin-bottom: 0.2em;padding-left: 0.6em; }


#suptitle p, #suptitle ul {
    font-size: 1.1em;
    padding: 0.4em 0;
}

#suptitle p {
    float: left;
    padding-left: 1em;
}

#suptitle ul {
    text-align: right;
    padding-right: 1em;
}

#suptitle ul li {
    display: inline;
    margin-left: 1em;
}

#menu ul {
  position: absolute;
  width: 49em;
    margin: 0;
    padding: 0;
    bottom: 0;
    left: 24em;
    }

#menu ul li {
  position:relative;  
    display: inline;
    margin: 0 0.5em 0 0;
    font-size: 1.1em;
}

#menu ul,
#menu ul li a {
    padding: 0.5em 1.5em 0.6em;
    margin: 0 1.5em;
    }

#menu ul li a {
  position: relative;  
    font-size: 1em;
    color: #fff;
    margin: 0;
    }

#menu ul li a:hover {
    background: #333;
    text-decoration: none;
    }

#menu ul li .here a, #menu ul li .here a:hover {
    color: #134A86;  
    background: #fff;
    }


#footer {
    clear: both;
    margin: 0;
    padding: 0;
    margin-bottom: 1em;
    text-align: center;
}

#footer a {
  margin: 1em;
}

#footer a:link, #footer a:visited {
    color: #777;
    text-decoration: none;
}

#footer a:hover {
    color: #FFF;
    text-decoration: underline;
}

.clear {
  clear: both;
}

/* Changes for svcg
 */

/* a { position: relative; } 
commented out at the very top  */


#page {width: 85em;}

#header, #vis {
    height: 12em !important;
    min-height: 112px;
    width: 85em;
}

#header {
    background: #CC0000 url("gradient.png") no-repeat top;
}

#logo {
    height: 1em;
    min-height: 110px;
/*    width: 100%;*/
/*        margin-left:10px;*/
    background: transparent url("logo.png") no-repeat;
}

a#logo {
    color: #fff;
    font-size: x-large;
    padding-top: 10px;
    padding-bottom: 10px;
    padding-left: 140px;
}

#content {width: 55em;}

#content textarea {
  /*width:40em;*/ 
  height:30em;
  font-family: monospace;
}

#menu ul,
#menu ul li a {
    padding: 0.5em 0.6em 0.6em;
    }

#menu ul { width: 58em; }

#sidebar {
    width: 17em;
}

#content table[border='1'] {
  border-collapse: collapse;
  border-style: solid;
  border-width:1px }

#content table td {
  padding-top:  2px;
  padding-left: 3px;
  padding-right: 3px;
  padding-bottom: 3px; }

#content table.publicationslist td {
  padding-top: 0px;          
  padding-left: 0px;       
  padding-right: 0px;
  padding-bottom: 10px;
}

#content table.nospaces td {
  padding-top: 0px;
  padding-left: 0px;
  padding-right: 0px;
  padding-bottom: 0px;
}

#sidebar {
  padding: 4em 2em 2em 3em;
}      

#sidebar li { margin-bottom: 0.5em; }


/* proper superscripts
*/
sup { font-size: .65em; vertical-align: text-top; }