body{color:black;background:white;line-height:1.2}body,pre{font-family:monospace}a{color:blue;text-decoration:underline}button,input,textarea{font-family:monospace;border:1px solid black;background:#e0e0e0;margin:2px}