.green{ color : Black; font-weight : normal; } .yellow{ color : #9E9E00; font-weight : bold; } .red{ color : #CC3333; font-weight : bold; } .rot{ color: red; } .bold{ font-weight : bold; } .blue{ color : #00308F; font-size: 10pt; font-weight : bold; } .brown{ color : #A06F00; font-weight : bold; } .white{ color: white; } .foo { color: white; } hr{ color : #A0a000; width: 100%; height: 10px; } pre{ font-family: monospace; background-color: #f0f0f0; margin-left:40px; margin-right:40px; padding: 10px; } .rightalign{ text-align: right; } -->