Note: After saving, changes may not occur immediately. Click here to learn how to bypass your browser's cache.
  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (Cmd-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (Cmd-Shift-R on a Mac)
  • Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Clear the cache in Tools → Preferences

For details and instructions about other browsers, see Wikipedia:Bypass your cache.

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

#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;
}