@media all { body { font-family: "Helvetica Neue", "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, sans-serif !important; font-size: 14px; line-height: 21px; color: #333; max-width: 62em; margin: auto; } body #content { padding-top: 30px; } body .title { margin-left: 0; } #org-div-home-and-up{ position: fixed; right: 0; top: 4em; } /* TOC inspired by http://jashkenas.github.com/coffee-script */ #table-of-contents { z-index: 100; font-size: 10pt; position: fixed; right: 0em; top: 0em; background: white; -webkit-box-shadow: 0 0 0.5em #777777; -moz-box-shadow: 0 0 0.5em #777777; -webkit-border-bottom-left-radius: 5px; -moz-border-radius-bottomleft: 5px; text-align: right; /* ensure doesn't flow off the screen when expanded */ max-height: 80%; overflow: auto; } #table-of-contents h2 { font-size: 10pt; max-width: 9em; font-weight: normal; padding-left: 0.5em; padding-left: 0.5em; padding-top: 0.05em; padding-bottom: 0.05em; } #table-of-contents #text-table-of-contents { display: none; text-align: left; } #table-of-contents:hover #text-table-of-contents { display: block; padding: 0.5em; margin-top: -1.5em; } #table-of-contents #text-table-of-contents ul { list-style-position: outside; } /* #license { */ /* padding: .3em; */ /* border: 1px solid gray; */ /* background-color: #eeeeee; */ /* } */ h1 { /* font-family:Sans; font-weight:bold; */ font-size:2.1em; padding:0 0 30px 0; margin-top: 10px; margin-bottom: 10px; color: #333; } h2 { font-family:Arial,sans-serif; font-size:1.45em; line-height:16px; padding:7px 0 0 0; color: #666; } .outline-text-2 { margin-left: 0.1em } .title { } h3 { font-family:Arial,sans-serif; font-size:1.3em; color: #666; margin-left: 0.6em; } .outline-text-3 { margin-left: 0.9em; } h4 { font-family:Arial,sans-serif; font-size:1.2em; margin-left: 1.2em; color: #666; } .outline-text-4 { margin-left: 1.45em; } a { text-decoration: none; color: #39c5bb; } /* a:visited {text-decoration: none; color: #224444} */ /* Taken out because color too similar to text. */ a:visited { text-decoration: none; color: #39c5bb; } /* this is now the color of the Unicorns horn */ a:hover { text-decoration: underline; color: #39c5bb; } ul, ol { padding-left: 2em; } ul { list-style-type: square; list-style-image: inherit; list-style-position: outside; } ol { list-style-type: decimal; list-style-position: outside; } ol ol { list-style-type: lower-alpha; } .todo { color: #CA0000; } .done { color: #006666; } .timestamp-kwd { color: #444; } .tag { } li { margin: .4em; } table { border: none; margin: auto; margin-top: 10px; margin-bottom: 10px; } td { border: none; border-left: 1px solid black; } th { border: none; } table.full { } table.full td { border: 1px solid black; padding: 5px; } code { font-size: 100%; color: black; border: 1px solid #DEDEDE; padding: 0px 0.2em; } img { border: none; } .share img { opacity: .4; -moz-opacity: .4; filter: alpha(opacity=40); } .share img:hover { opacity: 1; -moz-opacity: 1; filter: alpha(opacity=100); } /* pre {border: 1px solid #555; */ /* background: #EEE; */ /* font-size: 9pt; */ /* padding: 1em; */ /* } */ /* pre { */ /* color: #e5e5e5; */ /* background-color: #000000; */ /* padding: 1.4em; */ /* border: 2px solid gray; */ /* } */ /* pre { */ /* background-color: #2b2b2b; */ /* border: 4px solid gray; */ /* color: #EEE; */ /* overflow: auto; */ /* padding: 1em; */ /* } */ pre { font-family: Monaco, Consolas, "Lucida Console", monospace; color: black; background-color: #ffffff; padding: 1.2em; /* border: 1px solid #dddddd; */ overflow: auto; /* -webkit-box-shadow: 0px 0px 4px rgba(0,0,0,0.23); -moz-box-shadow: 0px 0px 4px rgba(0,0,0,0.23); box-shadow: 0px 0px 4px rgba(0,0,0,0.23); */ } div.summary { padding: 15px; border:1px solid #CCC; border-radius:10px; -moz-border-radius:10px; -webkit-box-shadow: 0px 0px 4px rgba(0,0,0,0.23); -moz-box-shadow: 0px 0px 4px rgba(0,0,0,0.23); box-shadow: 0px 0px 4px rgba(0,0,0,0.23); } div.summary h2 { padding: 0; margin: 0; } .org-info-box { clear:both; margin-left:auto; margin-right:auto; padding:0.7em; /* border:1px solid #CCC; */ /* border-radius:10px; */ /* -moz-border-radius:10px; */ } .org-info-box img { float:left; margin:0em 0.5em 0em 0em; } .org-info-box p { margin:0em; padding:0em; } .builtin { /* font-lock-builtin-face */ color: #f4a460; } .comment { /* font-lock-comment-face */ color: #737373; } .comment-delimiter { /* font-lock-comment-delimiter-face */ color: #666666; } .constant { /* font-lock-constant-face */ color: #db7093; } .doc { /* font-lock-doc-face */ color: #b3b3b3; } .function-name { /* font-lock-function-name-face */ color: #5f9ea0; } .headline { /* headline-face */ color: #ffffff; background-color: #000000; font-weight: bold; } .keyword { /* font-lock-keyword-face */ color: #4682b4; } .negation-char { } .regexp-grouping-backslash { } .regexp-grouping-construct { } .string { /* font-lock-string-face */ color: #ccc79a; } .todo-comment { /* todo-comment-face */ color: #ffffff; background-color: #000000; font-weight: bold; } .variable-name { /* font-lock-variable-name-face */ color: #ff6a6a; } .warning { /* font-lock-warning-face */ color: #ffffff; background-color: #cd5c5c; font-weight: bold; } pre.a { color: inherit; background-color: inherit; font: inherit; text-decoration: inherit; } pre.a:hover { text-decoration: underline; } /* Styles for org-info.js */ .org-info-js_info-navigation { border-style:none; } #org-info-js_console-label { font-size:10px; font-weight:bold; white-space:nowrap; } .org-info-js_search-highlight { background-color:#ffff00; color:#000000; font-weight:bold; } #org-info-js-window { border-bottom:1px solid black; padding-bottom:10px; margin-bottom:10px; } .org-info-search-highlight { background-color:#adefef; /* same color as emacs default */ color:#000000; font-weight:bold; } .org-bbdb-company { /* bbdb-company */ font-style: italic; } .org-bbdb-field-name { } .org-bbdb-field-value { } .org-bbdb-name { /* bbdb-name */ text-decoration: underline; } .org-bold { /* bold */ font-weight: bold; } .org-bold-italic { /* bold-italic */ font-weight: bold; font-style: italic; } .org-border { /* border */ background-color: #000000; } .org-buffer-menu-buffer { /* buffer-menu-buffer */ font-weight: bold; } .org-builtin { /* font-lock-builtin-face */ color: #da70d6; } .org-button { /* button */ text-decoration: underline; } .org-c-nonbreakable-space { /* c-nonbreakable-space-face */ background-color: #ff0000; font-weight: bold; } .org-calendar-today { /* calendar-today */ text-decoration: underline; } .org-comment { /* font-lock-comment-face */ color: #b22222; } .org-comment-delimiter { /* font-lock-comment-delimiter-face */ color: #b22222; } .org-constant { /* font-lock-constant-face */ color: #5f9ea0; } .org-cursor { /* cursor */ background-color: #000000; } .org-default { /* default */ color: #000000; background-color: #ffffff; } .org-diary { /* diary */ color: #ff0000; } .org-doc { /* font-lock-doc-face */ color: #bc8f8f; } .org-escape-glyph { /* escape-glyph */ color: #a52a2a; } .org-file-name-shadow { /* file-name-shadow */ color: #7f7f7f; } .org-fixed-pitch { } .org-fringe { /* fringe */ background-color: #f2f2f2; } .org-function-name { /* font-lock-function-name-face */ color: #0000ff; } .org-header-line { /* header-line */ color: #333333; background-color: #e5e5e5; } .org-help-argument-name { /* help-argument-name */ font-style: italic; } .org-highlight { /* highlight */ background-color: #b4eeb4; } .org-holiday { /* holiday */ background-color: #ffc0cb; } .org-info-header-node { /* info-header-node */ color: #a52a2a; font-weight: bold; font-style: italic; } .org-info-header-xref { /* info-header-xref */ color: #0000ff; text-decoration: underline; } .org-info-menu-header { /* info-menu-header */ font-weight: bold; } .org-info-menu-star { /* info-menu-star */ color: #ff0000; } .org-info-node { /* info-node */ color: #a52a2a; font-weight: bold; font-style: italic; } .org-info-title-1 { /* info-title-1 */ font-size: 172%; font-weight: bold; } .org-info-title-2 { /* info-title-2 */ font-size: 144%; font-weight: bold; } .org-info-title-3 { /* info-title-3 */ font-size: 120%; font-weight: bold; } .org-info-title-4 { /* info-title-4 */ font-weight: bold; } .org-info-xref { /* info-xref */ color: #0000ff; text-decoration: underline; } .org-isearch { /* isearch */ color: #b0e2ff; background-color: #cd00cd; } .org-italic { /* italic */ font-style: italic; } .org-keyword { /* font-lock-keyword-face */ color: #a020f0; } .org-lazy-highlight { /* lazy-highlight */ background-color: #afeeee; } .org-link { /* link */ color: #0000ff; text-decoration: underline; } .org-link-visited { /* link-visited */ color: #8b008b; text-decoration: underline; } .org-match { /* match */ background-color: #ffff00; } .org-menu { } .org-message-cited-text { /* message-cited-text */ color: #ff0000; } .org-message-header-cc { /* message-header-cc */ color: #191970; } .org-message-header-name { /* message-header-name */ color: #6495ed; } .org-message-header-newsgroups { /* message-header-newsgroups */ color: #00008b; font-weight: bold; font-style: italic; } .org-message-header-other { /* message-header-other */ color: #4682b4; } .org-message-header-subject { /* message-header-subject */ color: #000080; font-weight: bold; } .org-message-header-to { /* message-header-to */ color: #191970; font-weight: bold; } .org-message-header-xheader { /* message-header-xheader */ color: #0000ff; } .org-message-mml { /* message-mml */ color: #228b22; } .org-message-separator { /* message-separator */ color: #a52a2a; } .org-minibuffer-prompt { /* minibuffer-prompt */ color: #0000cd; } .org-mm-uu-extract { /* mm-uu-extract */ color: #006400; background-color: #ffffe0; } .org-mode-line { /* mode-line */ color: #000000; background-color: #bfbfbf; } .org-mode-line-buffer-id { /* mode-line-buffer-id */ font-weight: bold; } .org-mode-line-highlight { } .org-mode-line-inactive { /* mode-line-inactive */ color: #333333; background-color: #e5e5e5; } .org-mouse { /* mouse */ background-color: #000000; } .org-negation-char { } .org-next-error { /* next-error */ background-color: #eedc82; } .org-nobreak-space { /* nobreak-space */ color: #a52a2a; text-decoration: underline; } .org-org-agenda-date { /* org-agenda-date */ color: #0000ff; } .org-org-agenda-date-weekend { /* org-agenda-date-weekend */ color: #0000ff; font-weight: bold; } .org-org-agenda-restriction-lock { /* org-agenda-restriction-lock */ background-color: #ffff00; } .org-org-agenda-structure { /* org-agenda-structure */ color: #0000ff; } .org-org-archived { /* org-archived */ color: #7f7f7f; } .org-org-code { /* org-code */ color: #7f7f7f; } .org-org-column { /* org-column */ background-color: #e5e5e5; } .org-org-column-title { /* org-column-title */ background-color: #e5e5e5; font-weight: bold; text-decoration: underline; } .org-org-date { /* org-date */ color: #a020f0; text-decoration: underline; } .org-org-done { /* org-done */ color: #228b22; font-weight: bold; } .org-org-drawer { /* org-drawer */ color: #0000ff; } .org-org-ellipsis { /* org-ellipsis */ color: #b8860b; text-decoration: underline; } .org-org-formula { /* org-formula */ color: #b22222; } .org-org-headline-done { /* org-headline-done */ color: #bc8f8f; } .org-org-hide { /* org-hide */ color: #e5e5e5; } .org-org-latex-and-export-specials { /* org-latex-and-export-specials */ color: #8b4513; } .org-org-level-1 { /* org-level-1 */ color: #0000ff; } .org-org-level-2 { /* org-level-2 */ color: #b8860b; } .org-org-level-3 { /* org-level-3 */ color: #a020f0; } .org-org-level-4 { /* org-level-4 */ color: #b22222; } .org-org-level-5 { /* org-level-5 */ color: #228b22; } .org-org-level-6 { /* org-level-6 */ color: #5f9ea0; } .org-org-level-7 { /* org-level-7 */ color: #da70d6; } .org-org-level-8 { /* org-level-8 */ color: #bc8f8f; } .org-org-link { /* org-link */ color: #a020f0; text-decoration: underline; } .org-org-property-value { } .org-org-scheduled-previously { /* org-scheduled-previously */ color: #b22222; } .org-org-scheduled-today { /* org-scheduled-today */ color: #006400; } .org-org-sexp-date { /* org-sexp-date */ color: #a020f0; } .org-org-special-keyword { /* org-special-keyword */ color: #bc8f8f; } .org-org-table { /* org-table */ color: #0000ff; } .org-org-tag { /* org-tag */ font-weight: bold; } .org-org-target { /* org-target */ text-decoration: underline; } .org-org-time-grid { /* org-time-grid */ color: #b8860b; } .org-org-todo { /* org-todo */ color: #ff0000; } .org-org-upcoming-deadline { /* org-upcoming-deadline */ color: #b22222; } .org-org-verbatim { /* org-verbatim */ color: #7f7f7f; text-decoration: underline; } .org-org-warning { /* org-warning */ color: #ff0000; font-weight: bold; } .org-outline-1 { /* outline-1 */ color: #0000ff; } .org-outline-2 { /* outline-2 */ color: #b8860b; } .org-outline-3 { /* outline-3 */ color: #a020f0; } .org-outline-4 { /* outline-4 */ color: #b22222; } .org-outline-5 { /* outline-5 */ color: #228b22; } .org-outline-6 { /* outline-6 */ color: #5f9ea0; } .org-outline-7 { /* outline-7 */ color: #da70d6; } .org-outline-8 { /* outline-8 */ color: #bc8f8f; } .outline-text-1, .outline-text-2, .outline-text-3, .outline-text-4, .outline-text-5, .outline-text-6 { /* Add more spacing between section. Padding, so that folding with org-info.js works as expected. */ } .org-preprocessor { /* font-lock-preprocessor-face */ color: #da70d6; } .org-query-replace { /* query-replace */ color: #b0e2ff; background-color: #cd00cd; } .org-regexp-grouping-backslash { /* font-lock-regexp-grouping-backslash */ font-weight: bold; } .org-regexp-grouping-construct { /* font-lock-regexp-grouping-construct */ font-weight: bold; } .org-region { /* region */ background-color: #eedc82; } .org-rmail-highlight { } .org-scroll-bar { /* scroll-bar */ background-color: #bfbfbf; } .org-secondary-selection { /* secondary-selection */ background-color: #ffff00; } .org-shadow { /* shadow */ color: #7f7f7f; } .org-show-paren-match { /* show-paren-match */ background-color: #40e0d0; } .org-show-paren-mismatch { /* show-paren-mismatch */ color: #ffffff; background-color: #a020f0; } .org-string { /* font-lock-string-face */ color: #bc8f8f; } .org-texinfo-heading { /* texinfo-heading */ color: #0000ff; } .org-tool-bar { /* tool-bar */ color: #000000; background-color: #bfbfbf; } .org-tooltip { /* tooltip */ color: #000000; background-color: #ffffe0; } .org-trailing-whitespace { /* trailing-whitespace */ background-color: #ff0000; } .org-type { /* font-lock-type-face */ color: #228b22; } .org-underline { /* underline */ text-decoration: underline; } .org-variable-name { /* font-lock-variable-name-face */ color: #b8860b; } .org-variable-pitch { } .org-vertical-border { } .org-warning { /* font-lock-warning-face */ color: #ff0000; font-weight: bold; } .rss_box { } .rss_title, rss_title a { } .rss_items { } .rss_item a:link, .rss_item a:visited, .rss_item a:active { } .rss_item a:hover { } .rss_date { } #postamble { padding: .3em; margin-bottom: 1em; border: 1px solid gray; background-color: #667c99; } #show_source { float: right; margin: .7em; } } /* END OF @media all */ @media screen { #table-of-contents { float: right; padding-right: 5px; border: 1px solid #CCC; max-width: 50%; overflow: auto; } } /* END OF @media screen */ .due { font-size: 80%; margin: 0 1em 0 1em; } #contact-front p { text-align: left; } ul.index-links { padding-left: 0; margin-left: 0; } ul.index-links li { list-style-type: none; margin-left: 0; } div#preamble div#plupperButton a img { height: 16px; position: absolute; top: 4px; } blockquote { background: #fbfbfb; padding: 10px; border-radius: 10px; -moz-border-radius: 10px; } .figure img { background: white; padding: 5px; -moz-box-shadow: 0px 0px 5px #c7c7c7; -webkit-box-shadow: 0px 0px 5px #c7c7c7; box-shadow: 0px 0px 5px #c7c7c7; } div.hidden > strong { margin-left: 0; cursor: pointer; color: #aaa; } div.hidden > strong > small { margin-left: 1em; font-size: 90%; font-weight: normal; font-style: italic; } div.hidden div.hidden-content { padding-left: 10px; margin-bottom: 4em; border-left: 3px solid #999; } div.hidden { margin-bottom: 1em; margin-left: 2em; }