body{
  font-family: Verdana, Arial, Helvetica;
  background: #FFFFFF;
  margin-right: 1em;
}

div.logo {
  font-family: Verdana, Arial, Helvetica;
  font-size: 70%;
  font-weight: normal;
  text-align: left;
  position: absolute;
  top: 0em;
  left: .5em;
  width: auto;
  right: auto;
}

div.main {
  font-size: 80%;
  margin-top: 4em;
  margin-left: 15em;
  margin-right: 15em;
}

div.menuRooms {
  font-family: Verdana, Arial, Helvetica;
  font-size: 75%;
  font-weight: bold;
  text-align: left;
  position:absolute;
  top: 0em;
  left: 200px;
  width: auto;
  right: auto;
}

div.menu {
  font-family: Verdana, Arial, Helvetica;
  font-size: 75%;
  font-weight: bold;
  text-align: left;
  position: absolute;
  top: 12em;
  left: 1.5em;
  width: 15em;
  right: auto;
}

div.lastedit {
  font-family: Verdana, Arial, Helvetica;
  font-size: 70%;
  text-align: center;
  margin-top: 2em;
  margin-left: 15em;
  margin-right: 15em;
}

/* position:absolute above together with next line */
/* are necessary as work-around for a bug in IE */
body>div.menu {position: fixed}
body>div.logo {position: fixed}

div.menu a {
  display: block;
  margin-bottom: .4em;
  text-decoration: none;
}

div.menu p {
  display: block;
  margin-bottom: .4em;
  text-decoration: none;
}

div.menuRooms a {
  margin-right: 2em;
  text-decoration: none;
}

div.menu a:visited {color: navy}
div.menu a:link {color: navy}
div.menu a:active {color: navy}

div.menuRooms a:visited {color: navy}
div.menuRooms a:link {color: navy}
div.menuRooms a:active {color: navy}

div.sidebar {
  margin-top: 2em;
  margin-left: 4em;
  margin-bottom: 2em;
  padding: 10px;
  border: inset 1px black;
}

div.buttons {
  background:lightgreen;
  padding: 10px;
  border: inset 1px black;
}

div.reply {
  background:#FFFFE4;
  padding: 10px;
  font-style:italic;
}

div.btngalen {
  background:lime;
  padding: 10px;
  border: inset 1px black;
}

div.btnsnomed {
  background:teal;
  padding: 10px;
  border: inset 1px black;
}

div.instructions {
  background:yellow;
  padding: 10px;
  border: inset 1px black;
}

div.prevnext {
  margin-top: 1em;
  margin-left: 2em;
  margin-bottom: 1em;
}

div.prevnext a:visited {color: navy; margin-right: 2em;}
div.prevnext a:link {color: navy; margin-right: 2em;}
div.prevnext a:active {color: navy; margin-right: 2em;}

div.prevnext p {
  display: inline;
  color: gray;
  margin-right: 2em;
}

h1 {font-size: 135%;
    margin-bottom:1em;
}

h2 {font-size: 115%;
    margin-top: 1.5em;
    margin-bottom: .5em;
}

h3 {font-size: 100%;
    margin-top: 1.2em;
    margin-bottom: .5em;
}

p {margin-top: 0pt;
   margin-bottom: .5em;
   text-align: justify;
}

p.grail {
  font-family: Courier;
  margin-left: 4em;
  font-style: normal;
  text-align: left;
}

li {margin-top: 0em;
    margin-left: 0.5em;
    margin-bottom: 0em;
    padding-bottom: 0em;
    text-align: justify;
}

em {font-weight: bold}
em.concept {
  font-style: normal;
  font-weight: normal;
  font-family: Courier;
}
em.keyword {
  font-style: normal;
  font-weight: bold;
  font-family: Courier;
}

ol {margin-top: .5em;
    margin-bottom: .5em;
}	

ul {margin-top: .3em;
    margin-bottom: .3em;
    margin-left: 1em;
}

ol ul {list-style: disc;
       margin-top: 2em;
}

/* list item inside a def/term */
dl ul {margin-top: 2em;
       margin-bottom: 0em;
}

dl {margin-top:-1em}

/* term/def list inside a numbered list */
ol dl{margin-top: -1.5em;
      margin-left: 0em;
}

/* term/def list inside a term/def list */
ol dl dl {margin-top: 0em;
          margin-left: 0.2em;
}

dd {margin-bottom: 0em;
    margin-left: 1.5em;
}

dt {padding-top: 2em;
    font-weight: bold;
    margin-left: 1.5em;
}

code {font-family:Courier}

pre {margin-top: 0em;
     margin-bottom: 1em;
     font-family: Courier;
     font-size: 80%;
}

table {font-size: 100%;
       margin-top: 1em;
       margin-bottom: 1em;
}

th.center {text-align: center}

th {text-align: left;
    background: #dddddd;
    margin: 3pt;
    vertical-align: bottom;
}

tr {vertical-align: top}

td {margin: 3pt;
    vertical-align: top;
}