html {
 margin: 0;
 padding: 0;
}

body {
 font-family: sans-serif;
 margin: 0;
 padding: 0;
 color: black;
 background: #CCCCB2;
}

h1 {
 font-size: 200%;
 letter-spacing: 0.1em;
 padding: 1em 0 1em 0;
 margin: 0;
}

h2 {
 font-size: 150%;
 padding: 1em 0 0 0;
 margin: 0;
 color: #808080;
}

h3 {
 font-size: 133%;
 margin: 0;
 padding: 1em 0 0 0;
 border-bottom: 1px dotted gray;
 color: #808080;
}

h4 {
 font-size: 100%;
 margin: 0;
 color: #808080;
}

div.title {
 font-size: 100%;
 font-weight: bold;
 margin: 0;
 padding: 1em 0 0 0;
 color: #808080;
}

a {
 text-decoration: none;
}

a:hover {
 text-decoration: underline;
}

a.noUnderline {
 text-decoration: none;
}

a:hover.noUnderline {
 text-decoration: none;
}

a.noDecoration {
 color: black;
 text-decoration: none;
}

p.back {
 text-align: right;
 font-size: small;
}

p.center {
 text-align: center;
}

p.lastupdate {
 padding: 1em 20px 1em 20px;
 margin: 0 -20px 0 -20px;
 text-align: right;
 font-size: x-small;
 background: #CCCCB2;
}

img.clickable_icon {
  border: 0;
}

.small {
 font-size: small;
}

span.origin {
 font-size: small;
 color: #808080;
}

span.origin a {
 color: #808080;
 text-decoration: underline;
}

li.doublelined {
  margin-bottom:1em;
}

div.code,
pre {
  font-family: Courier,monospace;
  background: #E5E5CC;
  margin: 10px 0 10px 0;
  padding: 10px 10px 10px 10px;
  border-width:thin;
  border-style:dashed;
}

fieldset {
  margin: 0;
  padding: 0 0 0 1px;
  border: 0;
}

.monospace {
  font-family:courier;
}

#navi {
 margin: 0;
 padding: 0;
 width: 150px;
 float: left;
}

#navi h4 {
 padding: 1ex 0.7em 1ex 0;
 text-align: right;
 border-right: 3px double gray;
}

ul.no_bullets {
 list-style-type: none;
}

#navi ul {
 padding: 0;
 margin: 0;
 border-top: 1px solid gray;
 border-bottom: 1px solid gray;
 background: #F9F9E5;
}

#navi ul li {
 font-size: small;
 list-style: none;
 padding: 0 0.7em 0 0;
 border-right: 1px solid gray;
 text-align: right;
 padding-top: 0.6ex;
 padding-bottom: 0.6ex;
}

#maintext {
 padding: 0 20px 0 20px;
 margin: 0 20px 0 150px;
 background: #FAFAD2;
 max-width: 1024px;
}

#feed {
 margin: 10px 0 10px 10px;
 padding: 10px 0 10px 10px;
 float: right;
}

div.wikilinks {
  background: #E5E5CC;
  padding: 0 10px 0 10px;
  border: 1px solid black;
  font-size: 85%;
  margin-top: -8px;
}

div.wikilinks p {
  padding: 0;
  margin-top: 5px;
  margin-bottom: 5px;
}

#footnotes {
  display: none;
}

#footer {
  background: #CCCCB2;
  font-size: 70%;
  padding-top: 5px;
  padding-bottom: 20px;
  padding-right: 10px;
  margin-left: -20px;
  margin-right: -20px;
  text-align: right;
}

/* layout for mobile devices */
@media only screen and (max-width: 640px),
  only screen and (max-width: 1080px) and (-webkit-min-device-pixel-ratio: 2.0) {

  p.extraInfo {
    display: none;
  }

  #navi {
    float: none;
    width: 100%
  }

  #maintext {
    margin: 0;
  }
}

