/*

Original style from softwaremaniacs.org (c) Ivan Sagalaev <Maniac@SoftwareManiacs.Org>

*/
/*
pre code[class]:after {
  content: 'highlight: ' attr(class);
  display: block; text-align: right;
  font-size: smaller;
  color: #CCC; background: white;
  border-top: solid 1px;
  padding-top: 0.5em;
}
*/
pre code {
  display: block;
/*border: 2px double outset;*/
  border: solid 2px #370000;
  background: #FEFFE8;
  margin-left: 10%;
  padding:10px;
  width:80%;
  overflow:auto;
  line-height: normal;
  FONT-SIZE:13pt;
        }
.res {
/* display: block;*/
  border: none;
  background: none;
  margin-left: 10%;
  padding:10px;
  line-height: normal;
  FONT-SIZE:13pt;
  text-ALIGN:left;

        }
li {
	color:#512800;
	font-size:12pt;
    font-weight:normal;
    border:none;
    font-style:italic;
    margin-left:35px;
    text-align:left;
    line-height:25px;
}
.keyword{color:#00f;}
.comment{color:#080;}
.aggregate{color:#f0f;}
.string{color:#f00;}
.predicate{color:#B4B4B4;}

img {
    max-width: 90%;
}