/* -*-c-*- */

body {
    background-color:#ffffff; 
}

div.topstuff
{ 
    background-color: #4a84ad;
    border: 1px solid #aaa;
}

div.contents
{
    padding-left: 4px;
    /* background-color: #eea; */
}

.banner 
{
    padding-top: 2mm;
    padding-bottom: 2mm;
    letter-spacing:.2em;
    font-family: "Cream and Sugar", monospace; 
    font-size: xx-large;
}

/*====================================================================================*/

.footer
{ 
    /* font-family: "Trebuchet MS",Trebuchet,Arial,Verdana,Sans-serif; */
}

/*==== the logo line ================================================================*/

h1#logo {
    width:99%;
    height:20px;
    text-align:right;
    background-image:url(nullhomotopie-aftershok.gif);
    /* background-image:url(/nullhomotopie-creamandsugar.gif); */
    /* background-image:url(/nullhomotopie-damnnoisykids.png); */
    /* background-image:url(/nullhomotopie-dimestorehooker.png); */
    /* background-image:url(/nullhomotopie-terminal.png); */
    /* background-image:url(/nullhomotopie-trapperjohn.png); */
    /* background-image:url(/nullhomotopie-weblettererbb.png); */
    background-repeat:no-repeat;
    background-position: 1em 4px;
    padding-top: 10px;
    padding-bottom: 10px;
    font-weight: bold;
    font:80% "Trebuchet MS",Trebuchet,Arial,Verdana,Sans-serif;
    text-transform:uppercase;
    letter-spacing:.4em;
    color:#000;
}

p.welcome {
    min-width:  869px;
    min-height: 593px;
    background-image:url(/init.gif);
    background-repeat:no-repeat;
    background-position: 7px 14px;    
}

/*====================================================================================*/

p.validatorlogo {
 float: right;
 clear:right;
 margin-top: 0em;
 margin-left: 2em;
 margin-right: 0pt;
}

p.validatorlogo a img {
 border: none;
}

p.amnesty {
 border:none;
}

h2.navtitle {
 display: none;
}

#navcolumn { 
    /* CSS2.0 would need a width attribute here ..?.. */
    float: right;
    margin-left: 3%;
    margin-bottom: 3%;
    border-left: 1px solid #aaa;
    border-bottom: 1px solid #aaa;
    background-color: #eaf4ad;
    padding-top: 0em; 
    margin-top: .1em;
    padding-left: 1em;
    padding-right: 1em;
}

#navcolumn ul 
{
    list-style-type: none;
    padding-left: 0pt;
    margin-left: 0pt;
}

#navcolumn ul li
{
    padding-top: 5pt;
    padding-bottom: 5pt;
    font-size: medium;
    text-transform:uppercase;
    letter-spacing:.2em;
 color:#243;
}

#navcolumn ul li ul
{
    padding-left: 1.5em;
    list-style-type: none;
}

#navcolumn ul li ul li
{ 
    padding-left: 0pt;
    list-style-type: none;
    padding-top: 2pt;
    padding-bottom: 0pt;
    font-family: Avantgarde, Sans-serif;
    font-size: small;
    text-transform: lowercase;
    letter-spacing: 0pt;
    color:#243;
}

#navcodlumn ul li 
{
    margin:5pt;
    padding-top: 5pt;
    font-size: medium;
    line-height: 180%;
    vertical-align: bottom;
    text-transform:uppercase;
    letter-spacing:.2em;
    color:#243;
}

#navcoldumn ul li ul li
{
    margin: 20pt;
    text-indent: 8pt;
    padding-top: 2pt;
    font-family: Avantgarde, Sans-serif;
    font-size: small;
    text-transform: lowercase;
    color:#243;
}

/*====================================================================================*/

a:link { text-decoration: none;  }
a:visited { text-decoration: none;  }
a:hover { text-decoration: underline;  }
a:active { 
    text-decoration: 
    underline; 
    color:#f00; 
}

a.self {
    text-decoration: underline;
}

/*====================================================================================*/

h1.maintitle {               
    text-transform: capitalize;
    color: #000;
    letter-spacing:.15em;
    font-size: 180%;
}

h2.maintitle {               
    color: #000;
    letter-spacing:.1em;
    font-size: 120%;
}

#copyright {
    text-align:right;
}

/*======== file indices ==============================================================*/

div.filelist {
    overflow:hidden;
}

table.filelist {
    margin-left: 5%; 
    border:none;  /* -border rows -rules rows */
    /* rules:none; property doesn't exist */
}
table.filelist tr td { 
    /* font-family: monospace; */   
    font-size:80%; 
    padding-left:1em;
    padding-right: 2px ;
    text-align: right; 
    vertical-align: bottom; 
    white-space: pre; 
}
table.filelist tr th { 
    padding-left: 1em;
    padding-right: 2px ;
    text-align: right; 
    vertical-align: bottom; 
    white-space: pre; 
    font-size: 120%; 
}
table.filelist tr td:first-child { 
    font-size:100%;  
    text-align: left; 
    padding-right: 2px ;
    padding-left: 2px ;font-family: monospace;
}
table.filelist tr th:first-child { 
    text-align: left; 
    padding-left: 2px; 
    padding-right: 2px ;
}

table.filelist tr.odd {
    /* background-color:#eee; */    
}

table.filelist tr.even {
}

/*====================================================================================*/

div.ind0 {
    margin-left: 5%;
}
table.ind0 {
    margin-left: 5%;
}
thead.twocharttable tr th {
    text-align:left;
}
thead.twocharttable tr td {
    text-align:left;
}

tbody.twocharttable tr td:first-child  {
    text-align:right;
    font-family: monospace;
    font-size:smaller;
}
tbody.twocharttable tr td.entry  {
    text-align: center;
}
tbody.twocharttable tr th.entry  {
    text-align: center;
    padding-left:5px;
    padding-right:5px;
}

h2#changetime {
    padding-top: 10px;
    font-size: 100%;
    font-weight: bold;
}

table.deprecated {
    margin-left: 1cm;
    margin-right: 1cm;
}

td.deprecated {
    padding: 0.5cm;
    background-color: #f80; /* orange; */
    color: red;
}

div.projabs {
    padding-bottom: 1em;
    margin-left: 5%;
}

div.projabs h3 {
    font-size:120%;
    font-weight: normal;
    margin-bottom: .1em; 
    text-transform: capitalize;
}

div.projabs p {
    margin-left: 2em;
}

div.projabs p sub {
    vertical-align: baseline;
}

div.projabs div.paphdr {
    font-weight: normal;
    font-size:small; 
}

span.projtitle {
    font-style: italic;
}

span.projminus {
    padding-left:1em;
    padding-right:1em;
}

span.projstatus {
    font-weight: normal;
    font-size:small;
}

div.paper {
    margin-left: 5%;
}

div.paper h3.paper {
    font-size:120%;
    font-weight: normal;
    margin-top: 0em;
    margin-bottom: .5em;
}

div.paper p.summary {
    margin-top: .5em;
    margin-bottom: .1em;   
}

div.paper p.summary span.header {
    margin-right: .2em;
}

div.abstractlist h3.abstract {
    margin-left: 0.5em;
    font-size:100%;
    font-weight: normal;
}

div.paphdr {
    margin-left: 1em;
}

span.paphdr {
    font-weight: normal;
    font-size:small;
    margin-left: -.8em;
    margin-right:.1em;
    padding-left: .2em;
}

span.paphdrcont {
    margin-right:.1em;
    padding-left: .5em;
}

div.initgif {
    vertical-align:middle;
    text-align:center;
    margin-top:1em;
    margin-bottom:1em;
}

span.cvsid {
    font-family:monospace;
    font-weight:lighter;
    text-transform:capitalize;
    padding-left: 0.2em;
}

div.separator {
    margin-left: 1em;
    width: 90%;
    color: #d6e5e8;
    padding-top: 1em;
    padding-bottom: 1em;
}  

div.projectpage {
    margin-top: 1em;
    margin-right: 4%;
}

div.projectpage p.abstract {
    margin-left: 5%;
    font-size: 100%;
}

div.projectpage  div.details {
    margin-left: 5%;
    font-size: 100%;  
}

div.projectpage p.abstract sub {
     vertical-align: baseline;
} 

div.equation {
    text-align: center;
    width: 100%;
    margin-top: .5em;
    margin-bottom: .5em;
}

span.maths {
    font-style: italic;
}
span.maths sup {
    font-size: 50%;
}
span.unmaths {
    font-style: normal;
}

sup {
    font-size:80%;
}
sub {
    font-size:80%;
}

div.progabs {
}

div.programpage div.details {
    margin-top: 1em;
}

span.header i {
    font-style: normal;
    /* text-decoration: underline; */
    font-size: 80%;
}

table.codeexample {
    font-size: 80%;
    font-family: monospace;
    background-color: #eee;
    margin-bottom: 1em;
    margin-top: 1em;
    margin-left: 5%;
    margin-right: 3%;
    padding: .2em;
}

span.code {
    font-family: monospace;
    background-color: #eee;
    padding-left: .2em;
    padding-right: .2em;
}

div.screenshot {
    text-align:center;
    width: 100%;
    margin-top: 2em;
    margin-bottom: 2em;
}

div.center {
    width: 100%;
    text-align:center;
}

span.sigma {
    font-size: 150%;
}