doc/local.css
/* Local manual-specific changes. */

.screendump {
	background: #f8f8f8;
	padding: 1em 1em 1em 1em;
	margin-right: 1em;
	margin-top: 1em;
	border:1px solid #ccc;
}

/* Style definition file generated by highlight 4.1, http://www.andre-simon.de/ */
/* highlight theme: Eclipse IDE */
body.hl	{ background-color:#ffffff; }
pre.hl	{ color:#000000; background-color:#ffffff; font-size:10pt; font-family:'Courier New',monospace; white-space: pre-wrap; }
.hl.num { color:#000000; }
.hl.esc { color:#ff00ff; }
.hl.sng { color:#0000ff; }
.hl.pps { color:#7f9fbf; }
.hl.slc { color:#2f9956; }
.hl.com { color:#717ab3; }
.hl.ppc { color:#3f5fbf; }
.hl.opt { color:#000000; }
.hl.ipl { color:#ff00ff; }
.hl.lin { color:#000000; user-select: none; }
.hl.hvr { cursor:help; }
.hl.erm { color:#ff0000; font-weight:bold; border:solid 1px red; margin-left: 3em; }
.hl.err { color:#ff0000; font-weight:bold; }
.hl.kwa { color:#7f0055; font-weight:bold; }
.hl.kwb { color:#7f0055; font-weight:bold; }
.hl.kwc { color:#7f0055; font-weight:bold; }
.hl.kwd { color:#000000; }
.hl.kwe { color:#7f0055; }
.hl.kwf { color:#7e7e7e; font-weight:bold; }

