@import url("default.css");

#title{background:#eeddff;}

.mono{white-space:pre;font-family:monospace;}