#monospaced { font-family: monospace; font-size: 85%; white-space: pre }