/* primary elements */
body { font: 1em/1.4 Georgia, serif; width: 94%; max-width: 45em; margin: 0 auto; }
#header { margin-top: 0.5em; height: 2em; }
#content { }
#footer { padding: 1.5em 0; }

/* headers */
h1, h2, h3, h4, h5, h6 { font: normal 1em/1.2 Georgia, serif; color: #111; }
h1 { font-size: 1.8em; }
h2 { font-size: 1.5em; }
h3 { font-size: 1.2em; }
h2[id]:hover:after { content: " #" attr(id); color: #777; }

/* pre, code, kbd, and blockquote */
pre, code, kbd, blockquote { background-color: #eee; border: 1px solid #ccc; }
pre { padding: 0.5em; overflow: auto; }
code, kbd { padding: 0 0.3ex; }
pre > code { border: none; padding: 0; }
blockquote { border-left: thick solid #ccc; padding: 0 1em; }

/* tables */
table { border-top: double black; border-bottom: thin solid black; border-spacing: 0; margin: 0 auto; }
th { border-bottom: thin solid black; }
td { padding: 0 0.5em; }

/* rules */
hr { border: none; border-top: thin solid #ccc; }

/* meta content */
.meta { font-family: sans; font-size: 0.875em; }
.meta, .meta a:link, .meta a:visited { color: #888; }
.meta a:hover { color: #444; }
h1 + div.meta { margin-top: -1.25em; text-transform: uppercase; }

/* footnotes */
a.noteref { font-size: 0.7333em; vertical-align: super; }
#notes > li > p { display: inline; }

/* images */
p img { float: right; padding-left: 1em; }
div.image { text-align: center; margin: 2em; }
div.image img{ border: thin solid #ccc; padding: 2px; }
div.image p { margin:0 }
div.image p strong{ display: block }

/* math */
merror { display: inline; font-size: 1em; }
math[display=block] { overflow: auto; margin: 0.75em 0; }
math { white-space: nowrap; }
.numberedEq span { float: right; }

/* code */
code .selector, code .difflines, code .function, code .bold, code .keyword { font-weight: bold; }
code .comment, code .preproc, code .italics, code .value { font-style: italic; }
code .string, code .regexp, code .character, code .number { color: #444; }
code .math, code .comment, code .preproc { color: #666; }
code .oldfile { color: #600; }
code .newfile { color: #060; }

/* error pages */
.error .icon { color: #900; float: left; font-size: 4em; line-height: 1em; margin-right: 0.2em; }