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