#navigation1 {
    position: absolute; 
    top: 0;
    width: 100%;
    margin: 0;
    color: #09357A;
    }  

#navigation1 #pagetitle {
    height: 115px;
    border-width: 0px;
    border-bottom-width: 1px;
    border-color: #09357A;
    border-style: solid;
    background-color: white;    
    }
    
#navigation1 #pagetitle img {    
    margin: 10px 2em 0 1em;
    padding:0;
}

#navigation1 #pagetitle #texttitle {
    /*background-image:   url("http://www.iris.ethz.ch/images/tmp.jpg");
    background-repeat:  no-repeat;
    background-position:    right center;*/
    display: none;
}

#navigation1 #login {
    float: right;
    margin-top: -1em;
    margin-right: 2em;
}

#navigation1 #login span {
    font-size: 0.8em;
}

#navigation1 #titlebar {
    margin-top: .1em;
    margin-left: 12em;
    margin-right: 2em;
}
    

#navigation1 #titlebar a {
    border-width: 0 0 1px 0;
    border-style: dashed;    
    border-color: #eee;
    text-decoration: none;
    color: #09357A;
}

#navigation1 #titlebar a:hover { 
    border-width: 0 0 1px 0;
    border-color: #09357A;
    border-style: solid; 
}

#navigation1 #titlebar td {
    width: 100%;
    }
       
#navigation1 .breadcrumbs {
    font-size: .8em;
}
   
#navigation1 .language {
    text-align: right;
    font-size: .8em;
}

#navigation2 {
    position: absolute;
    left: 0;
    top: 150px;
    width: 10em;
    padding: 0 1em 1em 1em;
    margin: p;
}

#navigation2 #menuBarHeader {
    margin: 0;
}

#navigation2 #menuBarHeader div.roundedLeftTop {
    background: #09357A url(http://www.iris.ethz.ch/test/images/corner_menuBar_top_left.jpg) no-repeat top left;
}

#navigation2 #menuBarHeader div.roundedRightTop {
    background: transparent  url(http://www.iris.ethz.ch/test/images/corner_menuBar_top_right.jpg) no-repeat top right;
    font-weight: bold;
    color: white;
    border-style: none;
    padding: .25em 1em .25em 1em;
    height: 1em;
}

#navigation2 #menuBarFooter {
    background-color: #09357A;
    margin: 0;
}

#navigation2 #menuBarFooter div.roundedLeftBottom {
    background: transparent url(http://www.iris.ethz.ch/test/images/corner_menuBar_bottom_left.jpg) no-repeat bottom left;
}

#navigation2 #menuBarFooter div.roundedRightBottom {
    background: transparent url(http://www.iris.ethz.ch/test/images/corner_menuBar_bottom_right.jpg) no-repeat bottom right;
    padding: .25em 1em .25em 1em;
}


#navigation2 ul {
    list-style: none;
    margin: 0;
    padding: 1em 0;
    background: white;
    border: 1px solid #09357A;
}

#navigation2 li {

    font-size: .75em;
    color: #09357A;
    font-weight: bold;
    margin: 0 0 .25em 0;
    padding: 0;
}

#navigation2 li a {
    display: block;
    color: #09357A;
    padding: 0 1em;
    border: 0;
    margin: 0;
}

#navigation2 li a:hover {
    background-color: #8A96BD;
    text-decoration: none;
    border-color: #09357A;
    margin: 0;
    color: white;
}

#navigation2 ul ul{
    margin: 0;
    padding: 0 1em;
    border: 0;
}

#navigation2 ul ul a{
    font-weight: normal;
}

#navigation2 li li {
    font-weight: normal;
}

#navigation2 a:visited {
    text-decoration: none;
    }
    
#navigation3 { 
    display: none;
    }
    
#navigation4 p {
    display: inline;
    font-size: .8em;
    margin-top: 0;
    padding-top: 0;
    margin-left: 15em;
    }

#navigation4 a{
    color: #09357A;
    } 

#navigation4 #feedback p {
    color: #09357A;
    }

#navigation4 #copyright p {
    color: #09357A;
    }
  
#content {
    margin: 0 2em 0 12em;
    border-style: solid;
    border-width: 1px;
    border: 0 1px 0 1px;
    border-color: #09357A;
    padding: 0 1em 2em 1em;     
    background-color: white;
    }    
    
#content p { 
    font-size: .8em;
    text-align: left;
    color: #09357A;
    }
    
#content h1 { 
    font-size: 1.5em;
    font-weight: bold;
    color: #09357A;
    }
    
#content h2 { 
    font-size: 1em;
    font-weight: bold;
    color: #09357A;
    }

#content h3 { 
    font-size: 1em;
    font-weight: bold;
    color: #09357A;
    }   

#content h4 { 
    font-size: 1em;
    font-weight: bold;
    color: #09357A;
    background-color: #E4E4E4;
    }
       
#content .legend { 
    font-size: 0.8em;
    font-style: italic;
    text-align: center;
    color: #09357A;
    }

#content pre {
  background-color: #f5f5f5;
}

#content li { 
    font-size: 0.8em;
    text-align: justify;
    color: #09357A;
    }

#content .taken {
    color: red;
   }

#content .free {
    color: green;
}
    
#content .column1 {
    margin-right: 2em;
    width: 10em;
    vertical-align: top;
    padding-top: 1.2em;
    font-size: 0.8em;
    font-weight: bold;   
    }

#content .column2 {
    text-align: center;
    margin-right: 2em;
    width: 10em;
    vertical-align: top;
    }

#content .people {
    padding-top: 1em;
    width: 150px;
}
    
#content img.column2 {
    padding-top: 1em;
    width: 100px;
    }
    
#content .column3 {
    text-align: left;
    padding-top: 1em;
    padding-right: 2em;
    vertical-align: top;
    font-size: 1.0em;
    color: #36c;
    }

#content .column4 {    
    padding-left: 2em;
    padding-right: 2em;
    padding-top: 0;
    padding-bottom: 0;
    vertical-align: top;
    text-align: center;
    }

#content .column4 p {
    padding: 0;
    margin: 0;
    padding-left: 2.5em;
    padding-right: 2.5em;
    }
    
#content .column5 {
    padding-left: 3em;
    padding-right: 3em;
    padding-top: 1em;
    vertical-align: top;
    text-align: center;
    width: 15em;
    font-size: 0.8em;
    color: #36c;
    }
    
#content .column6 {
    padding-top: 1.3em;
    padding-right: 3em;
    vertical-align: top;
    width: 20em;
    font-size: 0.8em;
    color: #09357A;
    }
    
#content .column7 {
    padding-top: 1.2em;
    padding-right: 3em;
    vertical-align: top;
    width: 17em;
    font-size: 0.8em;
    color: #36c;
    }
    
#content .column8 {
    padding-top: 1.3em;
    padding-right: 3em;
    vertical-align: top;
    width: 35em;
    font-size: 1.0em;
    color: #09357A;
    }
    
#navigation1 .absright {
    position: absolute; 
    right: 0;
    top: 0;
    height: 95px;
}

#content .floatright {
    float: right;
}

#content img.floatright {
    margin: 0 0 .5em .5em;
}

#content a img {
    border: 0;
/*    text-decoration: underline;*/
/*    color: #000;*/
/*    background: white;*/
}

#content .floatleft {
    float: left;
}

#content img.floatleft {
    margin: 0 .5em .5em 0;
}

#content table.center {
    margin-left: auto;
    margin-right: auto;   
}

#content .tableseperator {
    border-style: solid;
    border-width: 1px;
    border-color: #09357A;    
    border-bottom: 1px;
    margin-bottom: 2em;
}

#content #center {
    text-align: center;
}

#content .center {
    text-align: center;
}

#right {
    float: right;
    display: inline;
    text-align: right;
    padding: 0 2em 0 0;
}

#content .clear {
    clear: both;
}

#content img {
    margin: 0 1em 1em 1em;
}
   
#content .moreinformation {    
    float: right;
    text-align: right;
    margin: .2em;
    }

#content .tableseperator {
    border-style: solid;
    border-width: 0;
    border-bottom: 1px;
    border-color: #ED8D10;
    margin-bottom: 1em;
    margin-left: 2em;
    margin-top: 1em;
    }
#navigation1 a img {
    border: 0;
}
  
#navigation4 a img {
    border: 0;
}

#navigation4 .link a{
    border: 0;
}

#content .no_line_under_link a{
    border: 0;
}
    
#menuBar {
    margin: 150px 2em 0 12em;
}

#menuBar div.roundedLeft {
    width: 100%;
    background: #09357A url(http://www.iris.ethz.ch/test/images/corner_menuBar_top_left.jpg) no-repeat top left;
}

#menuBar div.roundedRight {
    background: transparent  url(http://www.iris.ethz.ch/test/images/corner_menuBar_top_right.jpg) no-repeat top right;
    color: white;
    border-style: none;
    padding: .25em 1em .25em 1em;
    height: 1em;
}

.prop {
    float:right;
    width:1px;
}

.propclear {
    clear:both;
    height:1px;
    overflow:hidden;
}

.min20px {
    height:20px;
}

.min50px {
    height:50px;
}

.min150px {
    height:50px;
}

.min500px {
    height:50px;
}
    
#goToTop {
    margin: 0 2em 1em 12em;
    background-color: #09357A;   
    color: white;
}

#goToTop div.roundedLeftBottom {
    width: 100%;
    background: #09357A url(http://www.iris.ethz.ch/test/images/corner_menuBar_bottom_left.jpg) no-repeat bottom left;
}

#goToTop div.roundedRightBottom {
    background: transparent  url(http://www.iris.ethz.ch/test/images/corner_menuBar_bottom_right.jpg) no-repeat bottom right;
    color: white;
    border-style: none;
    padding: .25em 1.5em .25em 1.5em;
    height: 1em;
}

#goToTop a {
    font-size: .8em;
    color: white;
    }
    
#goToTop a:hover {
    color: white;
    border-color: white;
    }

.submitLink {
    font-weight: bold;
    color: #09357A;   
    /*background-color: transparent;*/
    border: none;
    cursor: pointer;
    /*cursor: hand;*/
    margin: 0;
    float: right;
}
  
.submitLink:hover {
    text-decoration: underline;
}
    
/* This will make the first letter of a paragraph bigger */
#content p:first-letter {
    /*font-size: 3em;*/
    /*float: left;*/
    /*padding-right: .1em;*/
    }

/* IE float bug fix */
h1, h2, h3, h4, h5, h6, p {
  position: relative;
} 
    
body {
    font-family: arial, helvetica, sans-serif;
    margin: 0;
    padding: 0;
    color: #09357A;
}

html {
    scrollbar-face-color: #09357A;
    scrollbar-highlight-color: white;
    scrollbar-shadow-color: #ED8D10;
    scrollbar-3dlight-color: #8A96BD;
    scrollbar-arrow-color: #ED8D10;
    scrollbar-track-color: #eee;
    scrollbar-darkshadow-color: #8A96BD;
}

.bodystyle {
    background-color: #ED8D10;   /*DFE2ED; *//* ED8D10*/
}
    
body a {
    border-width: 0 0 1px 0;
    border-color: #eee;
    border-style: dashed;    
    text-decoration: none;
    color: #ED8D10;
}

body a:hover { 
    border-color: #09357A;
    border-style: solid;   
}

body img {
    vertical-align: top;
}

body a.imglink {
    border: 0;
}

body ul 
{
    list-style: disc;
    padding: 1em 1em;
    background: white;
    /*border: 1px solid #09357A;*/
}

body li {
    font-size: .75em;
    color: #000000;
    /*margin: 0 0 .25em 0;*/
    padding: 0;
}

body .code {
    padding: .2em 0 .2em 1em;
    color: black;
    background: #eee;
}

fieldset { 
    /* This should be none, but there is a bug in Opera. */
    /* This is a work around :) */
    border:solid 0 transparent;
    }
    
fieldset p {
    padding-bottom: .5em;
    }
    
.small {

    }
   
/* This is needed for Doxygen documentation */
DIV.qindex { padding-top: 1em;
             width: 100%;             
             text-align: center;
             margin-bottom: 2px
}

DIV.fragment {
    width: 98%;
    border: 1px solid #CCCCCC;
    background-color: #f5f5f5;
    padding-left: 4px;
    margin: 4px;
}  

#content .column2 a {
    text-decoration: underline;
    border-width: 0;
    color: white;
    background: white;
}


#content .nounderline a {
    text-decoration: underline;
    border-width: 0;
    color: white;
    background: white;
}

/* This stuff is for printed pages */

@media print { 
    body { 
        font-size: 10pt; 
        font-family: times new roman, times, serif; 
        } 
        
    #navigation1 {
        margin: 0;
        padding: 0;   
        }
    
    #navigation1 #pagetitle {
        display: none;
        padding-left: 0;
    }
        
    #navigation1 #pagetitle p{
        font-size: 18pt;
        padding-left: 0;
    }
    
    #navigation1 #titlebar {
        display: none;
    }
                
    #navigation2, #navigation3 { 
        display: none; 
        }

    #navigation4 {
        display: none;
        } 
        
    #goToTop {
        display: none;
        }
    
    #menuBar {
        margin: 0;
        padding: 0;
        display: none;
        }
    
    #content {
        border-color: white;
        margin: 0;
        padding: 0;
        }
        
        
    }