@import url("links.css");

html {
  background-color: #217;
}

body {
  max-width:70em;
  margin: auto;
  font-family: sans-serif;
  background-color: #217;
  color: #CCF;
}

.menu {
  position: fixed;
  top: 15px;
  left: 10px;
  text-align: left;
  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: #88F; }
a:visited { color: #C8F; }
a:active { color: #FFC; }

.key { color: #EEE; }

.frame {
  position: absolute;
  font-size: 120%;
  background-color: #006;
  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;
  margin-bottom: 2em;
  text-align: right;
}

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

.section .title {
  display: block;
  font-weight: bold;
  font-size: 130%;
  border-bottom: 1px solid #88F;
  margin: 0.5em 0;
  padding: 0px 5px;
  text-align: justify;
}

.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-bottom: 1px solid #88F;
  margin: 0.5em 0;
  padding: 0px 5px;
  text-align: justify;
}

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

.item .head {
  display: block;
  border-bottom: 1px dotted #88F;
  margin: 0;
  padding: 0;
  text-align: justify;
}

.links {
  font-size: 90%;
  margin: 15px;
  margin-left: 5%;
  margin-right: 1%;
  padding: 2%;
  text-align: justify;
  border: 1px solid #88F;
}

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

.smiley {
  color: #FFF;
  font-weight: bold;
}

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

img {
  border: 0;
}

.picture img {
  border: 2px solid #CCF;
  max-width: 30em;
}

li {
  margin: 0;
  padding: 0;
}

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

pre {
  border-left: 1px dashed #EEE;
  margin: 0.5em;
  margin-left: 1em;
  padding: 0 1em;
  font-family: monospace;
  color: #CCC;
  font-size: 90%;
  overflow: auto;
}

code {
  font-family: monospace;
  color: #8CA;
  font-size: 100%;
  padding-left: 0.2em;
  padding-right: 0.2em;
}

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

