html {
    margin: 0;
    padding: 0;
}

body {
    background-color: #f0f0e0;
    color: black;
    font-family: "Open Sans", Helvetica, sans-serif;
    font-size: medium;
    font-weight: normal;
    padding: 0;
    border: 0;
    margin: 0;
}

pre {
    border-width: 1pt;
    border-right-width: 4pt;
    border-style: solid;
    border-color: #a08030;
    margin-right: auto;
    margin-left: 2em;
    padding: 4pt;
    background-color: #f0f0f0;
    max-width: 50em;
    font-family: "Hack", monospace;
    font-size: medium;
    overflow: auto;
}

.quotation {
    text-align: right;
    font-style: oblique;
}

.normaltext {
    padding-left: 10pt;
    padding-right: 10pt;
    padding-bottom: 10pt;
    margin-top: 0;
    font-weight: normal;
    font-size: medium;
    margin: auto;
    max-width: 600pt;
}

.headline {
    clear: both;
    float: none;
    width: auto;
    display: block;
    margin: 0;
    border: 0;
    padding: 0 10pt 0 10pt;
    text-align: left;
    background-color: #e0e0c0;
}

#topmenu {
    text-align: right;
}

.topline {
    text-align: right;
    background-color: #c0c0b0;
}

.docinfo {
    font-size: x-small;
    background-color: #c0c0b0;
    text-align: right;
}

a:link {
    color: #603000;
    text-decoration: none;
    font-weight: bold;
}
a:visited {
    color: #603010;
    text-decoration: none;
    font-weight: bold;
}
a:hover {
    text-decoration: underline;
    font-weight: bold;
}

b {
    font-weight: bold;
}

em {
    font-style: oblique;
}

h1 {
    margin: 0;
    border: 0;
    text-align: right;
    font-size: x-large;
    font-weight: bold;
    font-style: oblique;
}
h2 {
    font-size: x-large;
    font-weight: bold;
    margin: 0;
    border: 0;
}
h3 {
    font-size: large;
    font-weight: bold;
    margin-top: .5em;
    margin-bottom: .5em;
}
h4 {
    font-size: large;
    font-weight: normal;
    margin-top: .5em;
    margin-bottom: .5em;
}
sup, sub {
    font-size: x-small;
}

/**
  HIGHLIGHTS

  This is a vbox set in the center of the page (or the containing
  element) that contains a title (or more titles) and a set of
  parboxes.

**/
.hi {
    float: none;
    clear: both;
    padding-top: 0;
    padding-bottom: 0;
    padding-left: 10pt;
    padding-right: 10pt;
    border-width: 0;
    text-align: right;
    margin-bottom: 15pt;
    margin-top: 5pt;
    max-width: 600pt;
    margin-left: auto;
    margin-right: auto;
}

.hibody {
    clear: both;
    text-align: left;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 5pt;
    padding-top: .2em;
    padding-bottom: .2em;
    padding-left: .5em;
    padding-right: .5em;
    border-width: 1pt;
    border-style: solid;
    border-color: #a08030;
    background-color: #e0e0c0;
}

.hititle {
    float: none;
    clear: both;
    width: auto;
    padding-left: 10pt;
    padding-right: 10pt;
    margin: 0;
    text-align: center;
    font-weight: bold;
    font-size: small;
    color: white;
    background-color: #a08030;
    border-width: 1pt;
    border-style: solid;
    border-color: #a08030;
}

.linkstable {
    float: right;
    clear: right;
    max-width: 200pt;
    margin-left: 10pt;
    border-style: solid;
    border-color: #a08030;
    border-width: 1pt;
    background-color: #e0e0c0;
    padding-left: 8pt;
    padding-right: 8pt;
    padding-bottom: 0;
    padding-top: 0;
}

@media screen and (max-width: 400pt) {
    .linkstable {
	margin: 0;
	float: none;
	clear: both;
	width: 100%;
    }
}

.linkstitle {
    border-width: 0;
    text-align: center;
    font-weight: bold;
    font-size: small;
    margin-left: -8pt;
    margin-right: -8pt;
    color: white;
    background-color: #a08030;
}

.newstable {
    float: right;
    clear: right;
    max-width: 300pt;
    margin-top: 8pt;
    margin-bottom: 8pt;
    margin-left: 10pt;
    margin-right: 0;
    border-style: solid;
    border-color: #a08030;
    border-width: 1pt;
    background-color: #e0e0c0;
    padding: 0;
}

.scrollablenews {
    max-height: 150pt;
    padding: 0;
    overflow: auto;
}

@media screen and (max-width: 500pt) {
    .newstable {
	clear: both;
	float: none;
	width: auto;
	display: block;
	margin-left: 0;
    }
}

.newstitle {
    border-width: 0;
    text-align: center;
    font-weight: bold;
    font-size: small;
    margin-left: 0;
    margin-right: 0;
    color: white;
    background-color: #a08030;
}

.inline_emph {
    border-style: solid;
    border-color: #0000a0;
    border-bottom-width: 1pt;
    border-top-width: 1pt;
    border-right-width: 20pt;
    border-left-width: 20pt;
    background-color: #ffffff;
    max-width: 400pt;
    text-align: center;
    margin-bottom: 5pt;
    margin-top: 5pt;
    margin-right: auto;
    margin-left: auto;
    padding-left: 10pt;
    padding-right: 10pt;
    padding-bottom: 2pt;
    padding-top: 2pt;
    clear: both;
    float: none;
}

.menu {
    font-size: small;
    padding: 0;
    list-style-type: none;
}

.menuitem {
    background-color: #c0c0b0;
    margin: 0;
    display: inline-block;
    width: auto;
}

.menutext {
    margin: 0;
    width: auto;
    color: gray;
    font-weight: bold;
    padding-right: 4pt;
    padding-left: 4pt;
    white-space: nowrap;
}

a.menutext {
    display: block;
    text-decoration: none;
}

li.activeitem:hover {
    background-color: #f0f0e0;
}

.imgbar {
    background-color: #c0c0b0;
    padding: 0;
    margin-top: 0;
    margin-bottom: 0;
    margin-left: 0;
    margin-right: 10pt;
    float: left;
    clear: left;
    width: auto;
    overflow: hidden;
    display: inline;
}

img.imgcell {
    vertical-align: text-bottom;
}

ul.menucell {
    text-align: right;
    margin: 0;
    padding: 0 0 0 0;
    border: 0;
    font-size: small;
    float: right;
    width: auto;
    display: none;
}

@media screen and (max-width: 500pt) {
    .imgbar {
	background-color: #c0c0b0;
	float: none;
	margin: 0;
	width: 100%;
	display: block;
   }
    ul.menucell {
	display: block;
	float: none;
	clear: right;
    }
}

ul {
    padding-left: 1em;
    list-style-type: square;
}

.paperlinks {
    background-color: #eeeecc;
    font-size: small;
    text-align: right;
    padding: 0;
    margin: 0;
}

.sect {
    margin-bottom: .5em;
    margin-top: .5em;
    border: 1pt solid black;
    padding: 5pt;
    text-decoration: none;
}

ul.lectures {
    padding-left: 0pt;
    list-style: none;
}

li.lecture {
    margin-top: 5pt;
    margin-bottom: 5pt;
    margin-left: 0;
    border: 1pt solid black;
    padding: 5pt;
}

code {
    background-color: #d0d0c0;
    padding: 1pt;
    font-family: "Hack", monospace;
    font-size: medium;
}

dt, dd, ul {
    margin-top: 0;
    margin-bottom: 0;
}
dt {
    font-weight: bold;
}

div.newsitem {
    border-style: solid;
    border-color: #a08030;
    border-bottom-width: 3pt;
    border-top-width: 0;
    border-right-width: 0;
    border-left-width: 0;
    margin: 0;
    padding: 5pt;
}