@font-face { font-family: Junicode; src: url('http://www.amc.lel.ed.ac.uk/fits/lib/fonts/Junicode.ttf'); } 
body{
  font-family: sans-serif;
  font-size:13pt;
  height:98%;
}


#thetext{
  font-family: Junicode;
  overflow: auto;
}

.comment{
  background-color: #bbc2c5;
} 

h3{
  font-size:1.2em !important;
}

.highlighted{
  background-color: #e4ca94;
  /*
  border: 1px solid blue;
  padding: 1px;
  */
}