Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Press Ctrl-F5.
.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;
}