span.normal {color:black;background-color:lightyellow}
span.highlight {background-color:lightblue}
span.cmd {color:black;background-color: khaki}
span.prompt {color:brown;background-color: khaki}
span.correct {font-weight:bold;color:blue}
span.note {font-weight:bold;color:red}
span.param {font-weight:bold;color:red}
span.src {background-color:#d0ffd0}
span.mark {background-color:#ffd0d0}
span.result {background-color:#ffd0d0}
span.red {color:red}
span.logo {color:darkblue}
span.logoitalic {color:darkblue; font-style:italic}
span.logosmall {color:darkblue; font-size:50%}
span.logobig {color:darkblue; font-size:150%}
span.biggest {font-weight:bold; font-size:200%}
span.bigger {font-weight:bold; font-size:175%}
span.big {font-weight:bold; font-size:150%}
span.n {background-color: #e0e0ff}
span.hidden {color:lightyellow}
span.title {color:#cf0000;text-decoration:underline}
span.strengthen {color:#ff55bb}
span.screen {background-color: #e0e0ff}