/* Page tweaks */
textarea { font-family: ui-monospace, Menlo, monospace; }
.result-box { margin-top:8px }