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.

code pre {
	border: none;
	line-height: 1.1em;
	overflow: auto;
	white-space: pre;
	font-size: 8pt;
	padding: 1em;
	
}
code {
	border-top: 1px solid gray;
	border-bottom: 1px solid gray;
}