.microlight {
    font-family: monospace;
    white-space: pre;
}