/* section-specific styles (articles) */
div.note { text-align: right; margin-top: -2em; padding: 0.4em }
*.ref { border-bottom: 1px dashed #aaa; text-decoration: none; color: #626262 }
a.ref:link, a.ref:active, a.ref:hover, a.ref:visited { font-size: 0.8em;
  color: #626262 }
div.ch2 div { color: #000 } /* set divs back to black */
input.out { width: 45em; border: 1px solid #ccc; padding: 0.3em }
blockquote { margin: 0 }
blockquote p { border: 1px solid #B3B9E8; background-color: #F5F7FC }
div#threeleft { float: left; width: 15%; margin: 0 1em }
div#threeleft div { margin: 0.3em 0 }
div#threeright { float: right; margin: 0 }
code.chars { padding: 0.2em; background-color: #e4e4e4 }
span.help { text-decoration: none; border-bottom: 1px dashed #ccc; cursor: help }
em { font-style: normal; background-color: #ffd; }