body {
         font-family: luxi sans,sans-serif;
}

.programlisting {
        font-family: monospace;}
.strike {font-family: monospace; font-size: large; font-weight: lighter; text-decoration: line-through; padding: 0; background: white;}
.highlight {font-family: monospace; font-size: large; font-weight: bold; text-decoration: none; background: yellow;}