.skip { font-size:0.7em }
pre.code { border-left:blue 2px solid;padding-left:6px }
pre.output { border-left:yellow 2px solid;padding-left:6px }
pre.konsole { border-left:black 2px solid;padding-left:6px }
pre.htmlcode { border-left:#00FF00 2px solid;padding-left:6px }
pre.textfile { border-left:yellow 2px solid;padding-left:6px }
table.tabelle { border:1px solid }
td.tabelle { border:1px solid; padding:5px }
body { max-width:760px }