User:Samwilson/common.css

.CodeMirror, pre { font-family: "WikisourceMono", monospace; font-size: 8pt; }


 * 1) editpage-copywarn { display:none; }

.ppi-done, .ppi-todo, .ppi-tocheck { border-width: 2px; border-style: solid; border-color: white; } .ppi-done { /* No need to visually distinguish 'done' pages. */ } .ppi-todo { border-color: red; } .ppi-tocheck { border-color: orange; }