.source, code, pre {
  background-color: #eeeeee;
  border: 1px solid black;
  padding: 4px;
  margin: 2px;
  display: block;
  text-indent: 0;
  text-align: left;
  line-height: 1.3;
  font-size: 9pt;
}

pre {
  font-size: small;
}

div.list {
  border: 1px solid black;
  background-color: #ffffcc;
}

ul.arrow li {
  list-style-image: url("../pic/odrazka.gif");
  line-height: 1.5;
}