body {
    font-family: Georgia, Palatino, Palatino Linotype, FreeSerif, serif;
    font-size: 0.9em;
    text-rendering: optimizeLegibility; 
}

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

h3 {
 margin-bottom: 0.4em;
 margin-top: 0.68em;
}

h4 {
 margin-bottom: 0.3em;
 margin-top: 0.68em;
}

.button-link:hover, .button-link:focus {
    background: #cccccc;
    border: solid 1px #2A4E77;
    text-decoration: none;
}

.button-link {
    padding: 3px 3px;
    background: #eeeeee;
    color: #FFF;
    -webkit-border-radius: 4px;
    -moz-border-radius: 4px;
    border-radius: 4px;
    border: solid 1px #20538D;
    text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.4);
    -webkit-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.4), 0 1px 1px rgba(0, 0, 0, 0.2);
    -moz-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.4), 0 1px 1px rgba(0, 0, 0, 0.2);
    box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.4), 0 1px 1px rgba(0, 0, 0, 0.2);
    -webkit-transition-duration: 0.2s;
    -moz-transition-duration: 0.2s;
    transition-duration: 0.2s;
}


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

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

div.currentTopic{
}

div.nonCurrentTopic{
 opacity: 0.8;
 font-size: 85%;
}


pre.purebibtex{
 width:90%;
 whiTE-space: pre-wrap;       /* css-3 */
 white-space: -moz-pre-wrap !important;  /* Mozilla, since 1999 */
 white-space: -pre-wrap;      /* Opera 4-6 */
 white-space: -o-pre-wrap;    /* Opera 7 */
 word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

div.mobileonly { display: none;}


div.inforow:after {
  content: "";
  display: table;
  clear: both;
}

div.extrainfo{
 float: left;
 width: 33%;
}

div.courseinfo {
  float: left;
  width: 66%;
}

@media screen and (max-width: 600px) {
  div.extrainfo{
    width: 100%;
  }
  div.courseinfo{
    width: 100%;
  } 
}

div.address{
    font: x-small serif;
    float: right; width: 18em;
    border-left-style:solid;
    border-bottom-style:dashed;
    border-width:thin;
    padding-left:3ex;
}


div.hours{
    clear: right;
    font: x-small serif;
    float: right; width: 18em;
    border-left-style:solid;
    border-bottom-style:solid;
    border-width:thin;
    padding-left:3ex;
    padding-bottom:3ex;
    border-left-style:solid;
    border-bottom-style:solid;
}


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;
}


table.teaching {
border-spacing: 4px 6px;
}

td.teaching {
vertical-align:top;
}

.weekDay {
  vertical-align:top;
  font-weight: bold;
}

.currentEvent  {
  vertical-align:top;
  font-weight: bold;
}

.currentEvent:link  {
  vertical-align:top;
  font-weight: bold;
}


.menuItem#selected{font-weight:bold; color:black; 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:4px; padding-left:15px; 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: 5px;
    margin-bottom:2em;
    line-height: 3.7ex;
}

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

.list {
    border-color:gray;
    border-top-style:dashed;
    padding: 5px;
    border-top-width:thin; 
}   
 
.fanoData {
  padding: 10px;
}

.mainWindow {
    max-width:900px;
    float:left;
    padding-left:3ex;
    clear:left;
}

#aboutMain {
    width:65%;
    min-width:300px;
    float:left;
    padding-left:3ex;
    clear:left;  
}