body {
    font-family: serif;  
    font-size: 0.9em;
}

.vl {
  border-top: 30px solid black;
  position: absolute;
  margin-right: -3px;
  width: 100%;
}

.subtitle{
  font-size:0.6em;
  color:gray;
  float:left;
  padding-bottom:1px;
}

div.title{
    vertical-align:baseline;
    font-size: x-large;
    width:100%;
    float:left;
    padding: 5px;
    padding-right:1ex;
 }

pre.purebibtex{            
 width:10em;     
}

.hack {display: none}


div.address{
    vertical-align:text-bottom;
    border-top-style:solid;
    border-bottom-style:dashed;
    border-width:thin;
    font: small serif;
    padding-left:1ex;
}

div.hours{
    font: small serif;
    border-bottom-style:solid;
    border-width:thin;
    padding-left:1ex;
    padding-bottom:1ex;
}


a:link { font-weight:normal; color:#0645ad; text-decoration:none; }
a:visited { font-weight:normal; color:#0645ad; text-decoration:none; }
a:focus  { font-weight:normal; color:#0645ad; text-decoration:none; }
a:hover  { font-weight:normal; color:#0645ad; text-decoration:underline; }
a:active { font-weight:normal; color:#0645ad; text-decoration:none; }

td.cv {
width:11ex;
padding-right:0.5em;
font-size:0.8em;
}

.menuItem#selected{font-weight:bold; background-color: lightgrey;}
.menuItem:link { font-weight:normal; color:black; text-decoration:none; }
.menuItem:visited { font-weight:normal; color:black; text-decoration:none; }
.menuItem:focus  { font-weight:bold; color:black; text-decoration:none; }
.menuItem:hover  { font-weight:bold; color:black; text-decoration:none; }
.menuItem:active { font-weight:bold; color:black; text-decoration:none; }

.languages{
    font-size: x-small;
    text-align: right;
    word-spacing: 2ex;
}


.date {padding-left:2ex; text-align:left; font-weight:bold;}
.rheader { font-size: large }
.bibref { padding:2px; padding-left:5px; vertical-align:top;}
.bibtitle { font-weight:bold; }
.bibbooktitle { font-style:italic; }

.menuItem {
    border-width:thin;
    border-right-style:solid;
    border-top-style:solid;
    font-family: monospace;
    font-size: 1.2em;
    font-weight:bold;
    padding: 3px;
    margin-bottom:2em;
    line-height: 3.7ex;
}

.menu {
    border-bottom-style:dashed;
    padding: 0px;
    border-bottom-width:thin;
}

.mainWindow {
    padding-left:0.5ex;
}