/*
 * Literal modes.
 */
.pre { white-space: pre; }
.mono { font-family: monospace; }