body { background: #eeeeec; color: #111113; border: 0; margin: 0; padding: 0; font-family: "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif; font-size: 16px; } div#content { width: 750px; margin: 0 auto; background: #111113; color: #eeeeec; padding-bottom: 20px; } div#content, pre { border-right: 1px #eeeeec dashed; border-left: 1px #eeeeec dashed; } h1.title { background: #222224; color: #eeeeec; margin: 0 auto; padding: 6px; text-align: left; } a { color: #ffbb56; text-decoration: underline; } a img { border: none; } a:visited { color: violet; } a:hover { color: #eeeeec; text-decoration: none; } blockquote { border-left: 5px solid #ccc; margin-left: 1.5em; padding-left: 5px; } .outline-2 h2 { border-bottom: 1px dotted #eeeeec; font: 20px "DejaVu Sans", "Bitstream Vera Sans", sans-serif; font-weight: 600; padding-bottom: 2px; } h3.meta, h3.meta a, h3.meta a:visited { color: #999; font: 12px "DejaVu Sans", "Bitstream Vera Sans", sans-serif; margin: 2px 0 6px 0; padding-bottom: 2px; } #content > ul { border-bottom: 1px black dotted; font: 12px "DejaVu Sans", "Bitstream Vera Sans", sans-serif; background: #333; padding: 0; margin: 0; text-align: center; width: 100%; list-style-type: none; } #content > ul > li { display: inline; } #content > ul > li:after { content: " | "; } #content > ul > li:last-child:after { content: ""; } #header a, #header a:visited { color: #fff; text-decoration: none; } #content > ul a, #content > ul a:visited { color: #999; text-decoration: none; } #header a:active, #header a:hover, #content > ul a:active, #content > ul a:hover { text-decoration: none; } #table-of-contents { background: #111113; color: #eeeeec; margin-left: 20px; margin-top: 30px; /* margin-right: -3em; */ margin-bottom: 20px; border: dashed 1px #eeeeec; border-right: 0; padding: 10px 0 10px 10px; float: right; width: 11em; } #table-of-contents form { margin: 0 0 0 13px; } #table-of-contents input#s { width: 80%; } #table-of-contents ul { list-style-type: none; margin: 0; padding-left: 3px; text-transform: lowercase; font: normal smaller "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif; } #table-of-contents h2 { font: italic smaller "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif; font-weight: bold; margin-top: 10px; margin-bottom: 0px; padding-bottom: 2px; } #table-of-contents ul ul { font-variant: normal; font-weight: normal; line-height: 100%; list-style-type: none; margin: 0; padding: 0; text-align: left; } #table-of-contents ul ul li { border: 0; font-weight: normal; font-style: normal; letter-spacing: 0; margin-top: 0; padding: 0; padding-left: 12px; } #table-of-contents ul a { color: #999; text-decoration: none; } #table-of-contents ul a:visited { color: #ccc; text-decoration: none; } #table-of-contents ul a:hover { border-bottom: 1px solid #809080; } div#tag-cloud a { text-decoration: none; } div#tag-cloud { line-spacing: 150%; text-align: center; padding-bottom: 2em; } #comments-header { margin-top: 2em; padding-top: 1em; border-top: 2px black solid; } .outline-2 { margin: 30px 3em 0 3em; } #postamble { border-right: 1px #eeeeec dashed; border-left: 1px #eeeeec dashed; background-color: #111113; color: #eeeeec; width: 750px; border-top: 1px black dotted; font: 12px "DejaVu Sans", "Bitstream Vera Sans", sans-serif; padding: 0; margin: 0 auto; text-align: center; } .outline2 h2 { margin: 0; } .outline2 h2 a { text-decoration: none; } .outline2 h2 a:visited { color: #ffbb56; } .post { margin-bottom: 2em; } div.description { margin-left: 18pt; margin-right: 18pt; margin-bottom: 18pt; } div.description > p, div.description > pre { margin-top: 6pt; } div.feedback a { text-decoration: none; color: #ccc; } .float-left { float: left; margin-right: 0.5em; margin-top: 0.5em; margin-bottom: 0.5em; } #content .right { margin-left: auto; text-align: right; } .centered { margin-left: auto; margin-right: auto; text-align: center; } .smaller { font-size: smaller; } div.cartouche { border: dashed 1px black; padding: 0.5em; margin-left: 15%; margin-right: 15%; text-align: center; } .small-caps { font-variant: small-caps; } #commentform textarea { width: 100%; padding: 2px; } code { white-space: nowrap; color: #babdb6; font: 12pt Monaco, "DejaVu Sans Mono", mono; } pre { border-top: 1px dotted #999999; border-bottom: 1px dotted #999999; font: 12pt Monaco, "DejaVu Sans Mono", mono; padding: 5px 3em; position: relative; clear: both; margin: 25px -3em; width: 100%; overflow: auto; background-color: #111113; color: #eeeeec; left: -1px; } div#org-div-home-and-up { width: 750px; margin: 0 auto; position: relative; height: 0; left: -5px; top: 5px; color: #eeeeec; } div#org-div-home-and-up a { color: #999; text-decoration: none; } div#org-div-home-and-up a:hover { text-decoration: none; } /* Org font-locking */ #table-of-contents:hover #text-table-of-contents { display: block; } #text-table-of-contents { display: none; } .src { } .org-comment-delimiter { color: #999999; font-style: italic; } .org-comment { color: #a9a9a9; font-style: italic; } .org-keyword { color: #cfce29; } .org-string { color: #ffbd5c; } .org-function-name { color: #ffa300; } .org-doc { color: #9ad870; } .org-constant { color: #93d8d8; } .org-type { color: #78a2c1; font-weight: bold; } .org-regexp-grouping-backslash { font-weight: bold; } .org-regexp-grouping-construct { font-weight: bold; } .org-builtin { color: LightSteelBlue; } .org-negation-char { } .org-variable-name { color: #c39cc3; }