/* -*- text -*- */

body {
  background-color: #eee;
  background-image: url(back.png);
  background-repeat: repeat-y;
  padding: 0;
  margin: 0 2%;
}

h1 {
  text-align: center;
  margin: 0;
  border: 0;
  padding: 10px 0;
  color: #000;
}

img { vertical-align: text-bottom; border: 0px}

h2 {
  font-size: 130%;
  background-color: #3a8;
  margin: 0;
  padding: 2px 10px;
  border-width : 1px;
  border-style :  solid;
  border-color : #000;
  color: #fff;
}

h3 {
  font-size: 1.2em;
  margin-left: 5px;
  border-left: 5px solid #00f;
  border-top: 1px solid #ccf;
  padding-left: 5px;
  padding-top: 1px;
}

h4 {
  font-size: 1.1em;
  margin: 20px;
  border-top: 1px solid #acc;
  border-left: 3px solid #088;
  padding-left: 3px;
  padding-top: 1px;
}

dt {
  margin: 0 2% 0 2%;
  border: 1px solid #888;
  border-left: 10px solid #888;
  font-weight: bold;
  padding: 2px 5px;
}
dt a { text-decoration: none; }

dd {
  margin: 0 4% 0.5em 4%;
  padding: 2px;
  border: 1px solid #ccc;
  border-top: 0;
}

p {
  text-indent: 1em;
  line-height: 150%;
}

dd p { margin: 0 }

hr.sep { display: none; }

div.footer {
  margin-top: 1em;
  text-align: right;
  border-top: 1px #333 solid;
}

div.header {
  text-align: right;
  border-bottom: 1px #333 solid;
}

div.sidebar {
  position: absolute;
  top: 0px;
  left: 0px;
  width: 100px;
  padding: 2px 2px 2px% 2px;
}

div.sidebar a { text-decoration: none; }
div.sidebar a:link { color: #f88; }
div.sidebar a:visited { color: #f88; }
div.sidebar a:hover { color: #f88; }

div.main {
  margin-left: 100px;
}

pre {
  border: 1px solid;
  border-color: #aaa #666 #666 #aaa;
  padding: 5px;
  margin-left: 5%;
  margin-right: 10%;
  background-color: #fff;
}

ul {
  margin-left: 5%;
} 

li ul {
  margin-left: 10px;
}

p { 
  text-indent: 0.8em;
  color: #000;
  margin: 1em 5%;
}

a.ref {
 font-size: 70%;
 text-decoration: none;
 border: 1px solid #666;
 background-color: #fff;
 padding: 1px;

 font-weight: normal;
}