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