@import url('webcss.css');

span.invisible {
  color: #13131E;
}

pre.code {
  border: solid 2px #F0F0F0;
  width: 98%;
  background-color: #EAEAEA;
  color: black;
  padding: 5px;
}

a {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

h1 a, h2 a, h3 a, h4 a {
  color: inherit;
}

#maintext {
  width: 80%;
  float: left;
}

#adblock {
  width: 145px;
  float: right;
  padding-left: 10px;
  border-left: solid 1px #404040;
  height: 100%;
}

#maintext * img {
  margin: 5px;
  border: solid 1px silver;
}

ul.toc {
  list-style: none;
  margin-left: 0px;
}

ul.toc li {
  list-style: none;
  margin-left: 0px;
}

div.reset {
  float: none;
  clear: both;
}