/* +++ common +++ */

body {
  margin: 0;
  background-color: #ffede0;
  color: #200202;
  font-family: sans-serif;
}

b {
  font-weight: bold;
}

i {
  font-style: italic;
}

span.filename {
  color: blue;
  font-weight: bold;
  font-size: 1.3em;
}

span.green {
  color: green;
  font-weight: bold;
}

span.lila {
  color: #ff00ff;
  font-weight: bold;
}

span.blue {
  color: #4040f0;
  font-weight: bold;
}

table {
  border-collapse: collapse;
}

table.manval {
  margin-top: 1em;
  border-collapse: collapse;
  margin-left: 3em;
  white-space: pre-wrap;
}

th, td {
  border: 1px dotted;
  text-align: left;
  padding: 0.25em 1em 0.25em 1em;
}

div.mankey {
  font-weight: bold;
  font-size: 1.5em;
}

div.manval { 
  margin-left: 3em;
  white-space: pre-wrap;
  font-family: monospace;
  font-size: 1.5em;
  overflow: auto;
}

br.man {
  margin-bottom: 3em;
}

p.desc {
  padding-top: 1em;
  padding-bottom: 1em;
  white-space: pre-wrap;
  font-family: monospace;
  font-size: 1.5em;
}

div.desc {
  white-space: pre-wrap;
  font-family: monospace;
  font-size: 1.4em;
}

p.content {
  padding-top: 1em;
}

h1 {
  font-size: 2em;
  font-weight: bold;
  text-align: center;
}

h2 {
  font-size: 1.5em;
  font-weight: bold;
}

h3 {
  font-size: 1.2em;
  font-weight: bold;
}

.center {
  text-align: center;
}

a:link, a:visited {
  color: #bb0000;
  text-decoration: none;
}

a:hover {
  color: #ff0000;
  text-decoration: none;
}

a:active {
  background-color: #bb0000;
  color: #ffede0;
  text-decoration: none;
}

a.fkt:link {
  color: #bb00bb;
  text-decoration: none;
}

a.fkt:hover {
  color: #ff00ff;
  text-decoration: none;
}

a.fkt:active {
  background-color: #bb00bb;
  color: #ffe0ff;
  text-decoration: none;
}

/* +++ left navigation +++ */

ul.nav {
  list-style-type: none;
  margin: 0;
  padding: 0;
  width: 10em;
  background-color: #dbe4c8;
  position: fixed;
  height: 100%;
  overflow: auto;
  font-size: 1em;
}

li.nav {
  margin: 0;
}

li.nav a {
  color: black;
  display: block;
  padding: 0.5em 1em;
  text-decoration: none;
}

li.nav a.active {
  background-color: #00aa00;
  color: white;
}

li.nav a:hover:not(.active) {
  background-color: #888888;
  color: white;
}

/* +++ header +++ */

div.header {
  margin-left: 10em;
  border: 1px solid #ffede0;
}

p.header {
  font-size: 2em;
  font-weight: bold;
  color: #ff8080;
  text-align: center;
  text-shadow: 2px 2px 4px black;
}

/* +++ text +++ */

div.text {
  margin: 1em 1em 1em 11em;
  padding: 2em 2em 2em 2em;
  height: 100%;
  border: 2px solid #f0d8a0;
  border-radius: 2em;
  background-color: #f0d8a0;
}

ul.text {
  margin: 0;
  padding-left: 1.5em;
  font-size: 1em;
  color: blue;
}

li.text1 {
  margin-top: 0.5em;
}

li.text2 {
  margin-top: 0.5em;
  margin-left: 1em;
}

li.text3 {
  margin-top: 0.5em;
  margin-left: 2em;
}

li.text4 {
  margin-top: 0.5em;
  margin-left: 3em;
}

li.text5 {
  margin-top: 0.5em;
  margin-left: 4em;
}

div.litext {
  color: #200202;
  font-size: 1em;
  white-space: pre;
}

/* code box */

pre.codebox {
  padding-left: 1em;
  padding-top: 1em;
  padding-bottom: 1em;
  font-family: monospace;
  font-size: 1.2em;
  border: 4px solid grey;
  background-color: #eeeeee;
  color: black;
  overflow: auto;
  display: block;
  white-space: pre;
}

/* screenshots */

div.screenshot {
  border: 2px solid black;
  margin: 1em;
  width: 20%;
  float: left;
}

div.screenshot img {
  width: 100%;
  height: auto;
}

div.screentext {
  padding: 1em;
  text-align: center;
  font-size: 0.8em;
}

div.clear {
  clear: both;
}
