@media screen, projection {
* { margin: 0; padding: 0; }
html, h3, .tip strong { color: #000; }
html, #meta, .note { font-size: 90%; }
html { background: #fff; font-family: arial, "lucida grande", helvetica, sans-serif; padding: 2% 11%; }
h1, h2 { color: #005a9c; font-weight: normal; }
h1 { font-size: 200%; }
h2 { background: #eee; font-size: 140%; margin-top: 2em; padding: 10px; }
h3, #content .tip { margin: 2em 0 1em; }
h3 { border-bottom: 1px solid #eee; font-size: 120%; }
p, pre, ul, .example, .tip { margin: 1em 0; }
blockquote { margin: 1em 0 1em 1em; }
ul, ol { margin-left: 11%; }
table, td, th, .example h3 { font-size: 1em; }
table, td, th { padding: .2em; text-align: left; }
th, td { border: 1px solid #006; }
th, .example, .tip { background: #f9f5de; }
td { font-family: "arial unicode ms", "lucida sans unicode", sans-serif; vertical-align: top; }
a { color: #008080; text-decoration: none; }
a:hover { background: #fff; color: #005a9c; text-decoration: underline; }
#content, #author, #meta { margin-left: 7.5%; }
#content { color: #333; line-height: 150%; }
#content dd dt { font-weight: bold; margin: 1em 0 0; }
#author { margin-top: 5em; }
#author p { border: solid #808080; border-width: 1px 0; padding: .5em 0; }
#meta, .note { line-height: 130%; }
.example, .example h3, .tip { color: #006; }
.example, .tip { border: solid #006; border-width: 1px 1px 1px 10px; padding: .5em .5em .5em 1em; }
.example h3 { margin: 0 0 1em; }
.example strong { display: block; }
.t9n h1 { margin-bottom: 0 !important; }
.t9n#general { font-size: 1.11em !important; margin: 0 0 3em !important; }
.t9n#about { font-size: 1em !important; margin: 3em 0 0 !important; }
}