/*
    stylesheet noc.cs.uu.nl pages

*/
BODY {
    color : black;
    background : #FFFFFF;
    font-family : verdana, sans-serif;
}
H2 {
    margin : 1px 1px;
}
H3 {
    padding : 4px 4px;
    margin : 0.75ex 0;
    color : white;
    background : #007CB9;
}
H4 {
    padding: 4px 4px;
    margin : 0.2ex 0;
    color: white;
    background: #007CB9;
}

a:link  { color: #007CE9 ; }
a:hover { color: #000000 ; }

th.th1
  { color: white;
    background: #007CB9 ;
  }

th.th2
  { color: white;
    background: #CCCCFF ;
  }

div.imgfloatright img {
    float: right;
    border: 1px;
}
div.floatleft {
    float: left;
    border: 4px;
}
hr.hider {
    visibility: hidden;
    clear: both;
    margin: 0;
}

div.lablog dt
  { color : red ;
  }

#menubar_holder {
        background: #007CB9;
        color: #FFF;
        font-family:Arial, Helvetica, sans-serif;
        font-weight:bold;
}

.menubar
  { margin:0;
    padding:0;
  }

.menubar_left li
  { list-style:none; float:left; }

.menubar_right li
  { list-style:none; float:right; }

.menubar li a
  { display:block;
    padding: .35em .9em;
  }
.menubar a:link, .menubar a:visited 
  { color: white;
    text-decoration: none;
  }
.menubar a:hover
  { color: #DBE7EC;
    text-decoration: underline;
  }

span.urlish
  { color: #007CE9 ;
    text-decoration: underline ;
  }

button.arrow
  { font-weight : bold ;
    vertical-align: middle ;
  }

input.arrow
  { font-weight : bold ;
    font-size : larger ;
    vertical-align: middle ;
  }

input.area
  { font-weight : bold ;
  }

div.logo
  { float : right ;
    font-weight : bold ;
    font-size : large ;
    margin-right : 1ex ;
  }

ul.qrefs
  { margin-top : 0ex ;
    margin-left : 0ex ;
  }

ul.qrefs li
  { margin-left : 0ex ; }

li.qref
  { margin-left : -2em ; }

div.iwindow
  { /* font-size : smaller ; */
  }