@import url("links.css");

html {
  background-color: #668;
}

body {
  max-width:70em;
  margin: auto;
  font-family: sys, sans-serif;
  background-color: #668;
  color: #DDD;
}

.menu {
  position: fixed;
  top: 15px;
  left: 10px;
  text-align: right;
  width: 20%;
  min-width: 12em;
}

.foot {
  font-size: 80%;
  position: fixed;
  bottom: 15px;
  left: 10px;
  text-align: left;
}

a { text-decoration: none; }
a:link { color: #8CF; }
a:visited { color: #8AF; }
a:active { color: #CFF; }

.key { color: #4AF; }

.frame {
  position: absolute;
  font-size: 120%;
  background-color: #557;
  width: 65%;
  min-width: 30em;
  max-width: 42em;
  top: 0px;
  left: 25%;
  padding: 20px 15px;
  min-height: 100%;
}

.frame .title {
  display: block;
  font-weight: bold;
  margin: 0.5em 0;
  padding: 0px 5px;
  margin-bottom: 2em;
  text-align: right;
}

.section {
  font-size: 92%;
  margin: 5px;
  margin-left: 2%;
  margin-right: 8%;
  padding: 0px;
  text-align: justify;
}

.section .title {
  display: block;
  font-weight: bold;
  font-size: 130%;
  border: 2px ridge #88F;
  background: #438;
  margin: 0 0 3px 0;
  padding: 0px 5px;
  text-align: left;
}

.index {
  font-size: 90%;
  margin: 5px;
  margin-left: 5%;
  margin-right: 0%;
  padding: 0px;
  text-align: justify;
}

.index .title {
  display: block;
  font-weight: bold;
  font-size: 130%;
  border: 1px outset #88F;
  background: #779;
  margin: 0 0 3px 0;
  padding: 0px 5px;
  text-align: right;
}

.item {
  margin: 2px;
  margin-left: 0%;
  margin-right: 5%;
  padding: 0 2px;
  text-align: justify;
}

.item .head {
  display: block;
  font-size: 110%;
  border: 2px groove #88F;
  background: #77A;
  margin: 0;
  padding: 0;
  padding-left: 1em;
  text-align: left;
}

.links {
  font-size: 90%;
  margin: 15px;
  margin-left: 0%;
  margin-right: 5%;
  padding: 2%;
  text-align: justify;
  border: 1px outset #CCF;
  background: #88A;
}

.text {
  margin: 0px 2px;
  padding: 2px;
  text-align: justify;
}

.smiley {
  color: #FFC;
  padding: 0px 1px;
  background-color: #336;
  font-weight: bold;
}

.picture {
  padding-bottom: 15px;
  padding-top: 5px;
  text-align: center;
}

img {
  border: 0;
}

.picture img {
  border: 2px solid #CCF;
}

li {
  margin: 0;
  padding: 0;
}

ul {
  margin-top: 0.2em;
  margin-bottom: 0.2em;
  padding: 0 2.5em;
}

pre {
  border: 1px inset #CCC;
  background: #666;
  margin: 0.5em;
  margin-left: 1em;
  padding: 0.5em 1em;
  font-family: lucidatypewriter,monospace;
  color: #CCA;
}

code {
  font-family: lucidatypewriter,monospace;
  color: #FFF;
  font-size: 100%;
  padding-left: 0.2em;
  padding-right: 0.2em;
}

.url {
  font-weight: bold;
  color: #8CA;
  font-size: 100%;
  padding-left: 0.2em;
  padding-right: 0.2em;
}