@namespace xlink url(http://www.w3.org/1999/xlink);

section {
	border-left: 0.2em solid blue;
	padding-left: 0.4em;
}
blockquote { margin-left: 2em; margin-right: 2em; }
quote { font-style: italic }
ul li { margin-left: 2em }
ul ul li { list-style-type: square }
code, samp, pre { color: green }
pre[class="example"] {
	color: maroon;
        margin-left: 5%;
        margin-right: 5%;
	font-size: 80%;
	border: 2px solid maroon;
	padding: 0.5em;
}
[class="caution"] {
	color: red;
	margin: 1em;
}
[class="note"] {
	color: green;
	font-style: italic;
	margin: 1em;
}
[class="issue"] {
	font-style: italic;
	margin: 1em;
/*	padding-left: 0.5em;
	border-left: 2px solid green; */
}
[class="author"] { font-style: italic }

a[xlink|href]         { text-decoration: underline; color: blue; }
a[xlink|href]:visited { color: #b7f } /* A little lighter than traditionally */
a[xlink|href]:hover   { color: red }
blockquote[xlink|href]     { text-decoration: none; }
quote[xlink|href]     { text-decoration: none; }
quote[xlink|href]:hover  { text-decoration: underline; color: blue; }
/* unfortunately language-sensitive quotation marks didn't work :-< */
* { quotes: "\201C" "\201D" "\2018" "\2019" }
quote:before { content: open-quote }
quote:after  { content: close-quote }