/*

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 outset;
  background: #FEFFE8;
  }

pre code{
	width:800px;
    overflow:auto;
    line-height: normal;
    display: block;
    line-height: normal;
        }
.keyword{color:#00f;}
.comment{color:#080;}
.aggregate{color:#f0f;}
.string{color:#f00;}
.predicate{color:#B4B4B4;}