div.titlepage,
div.toc,
div.foil {
  border-width: 4px;
  border-style: solid;
  border-color: #777777;
  margin-bottom: 20px;
  padding: 10px;
}

div.programlisting
span.hi               { font-style: italic;
                        background-color: #FFBBBB;
                      }

div.programlisting
span.low              { font-style: italic;
                        background-color: #BBBBBB;
                      }

span.input {
  border: solid black 1px;
  background-color: #AAAAFF;
  padding: 2px;
}

span.step {
  border: solid black 1px;
  background-color: black;
  color: white;
  font-style: italic;
  padding: 2px;
}

span.output {
  border: solid black 1px;
  background-color: #AAFFAA;
  padding: 2px;
}

span.inputoutput {
  border: solid black 1px;
  background-color: #AAFFFF;
  padding: 2px;
}

span.pipeline {
  border: solid black 3px;
  padding: 10px;
}