body {font-family:"Linux Libertine","Libre Baskerville",Baskerville,"Nimbus Roman","Century Schoolbook","Times New Roman",serif; font-size:100%;width:70%;margin:2em auto;padding:4em}
h1,h2,h3,h4,h5,h6,dt {font-weight: 700; margin: 0em 0em 0.2em 0em}
h2,h4,h6,dt {font-style:italic}
h3,h5 {text-decoration: underline}
h1 {font-size: 2.5em; white-space: pre-line; margin-bottom: 1.2em; text-align: center; line-height:-1}
h2,h3,h4,h5,h6 {font-size: 2em}
ol,ul {width: 90%; margin: 1em auto}
p {font-size: 1.4em}
h1 span {font-size: 50%;}
a {-o-transition: color 1.25s;-moz-transition: color 1.25s;-webkit-transition: color 1.25s;transition: color 1.25s; font-weight: 700; text-decoration: none}
a:link {color: blue}
a:visited {color: green}
a:hover, a:active {color: red}
.el:before {content: "<";}
.el:after {content: ">";}
blockquote {border-left: 4px solid #bbb; padding: 0px 8px; font-family: sans-serif}
blockquote cite {display: block; text-align: right; font-style: italic; font-size: 0.9em}
ol {list-style-position: outside}
pre {border: 2px dashed #888; white-space: pre-wrap; word-wrap: break-word; padding: 10px; font-family: sans-serif; background-color: #eff}
var {color: darkgreen; font-family: monospace}
pre code {font-weight: 700; color: #00f; font-size: 1.2em;}
aside { font-family: sans-serif; width: 20%; display: inline-block; margin-left: 1.5em; vertical-align: text-top; margin-top:0.5em;text-align: left; font-size: 0.7em}
figcaption {text-align: center; font-size: 1.1em}
figure,.update {border-bottom: 1px solid #ccc; border-top: 1px solid #ccc; padding: 12px; font-size: 0.9em}
.update {font-size:1.3em}
q.indirect {quotes:none}