/* styles for info */
body { font-family: monospace; }