nav, p.alert, .no-print { display: none !important; }
#tokens { font-family: Consolas, Courier New, monaco, monospace !important; }