/* https://github.com/rgb-24bit/org-html-theme-list org-joshua */ @font-face{ /* FROM isopenbsdsecu.re */ font-family: miriam libre; font-display: auto; src: url(https://cdn.jsdelivr.net/npm/@fontsource/miriam-libre/files/miriam-libre-all-400-normal.woff) format('woff'); font-style: normal; } @font-face{ /* FROM https://tlakh.xyz */ font-family: Source Serif; font-display: auto; src: url(https://cdn.jsdelivr.net/npm/@fontsource/source-serif-4@4.5.16/files/source-serif-4-all-400-normal.woff) format('woff'); font-style: normal; } @font-face{ font-family: Source Serif; font-display: auto; src: url(https://cdn.jsdelivr.net/npm/@fontsource/source-serif-4@4.5.16/files/source-serif-4-all-400-italic.woff) format('woff'); font-style: italic; } @media all { body { font-family: "Source Serif", "Helvetica Neue", "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, sans-serif !important; font-size: 18px; line-height: 21px; color: #333; max-width: 62em; margin: auto; } body #content { padding-top: 30px; } body .title { margin-left: 0; font-family: Miriam Libre,serif; } #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; } h1 { /* font-family:Sans; font-weight:bold; */ font-size:2em; padding:0 0 30px 0; margin-top: 10px; margin-bottom: 10px; color: #333; } h2 { font-size:1.5em; line-height:16px; padding:7px 0 0 0; color: #444; } .outline-text-2 { margin-left: 0.1em } h3 { font-size:1.3em; color: #555; margin-left: 0.6em; } .outline-text-3 { margin-left: 0.9em; } h4 { font-size:1.2em; margin-left: 1.2em; color: #555; } .outline-text-4 { margin-left: 1.4em; } a { cursor: crosshair; text-decoration: none; color: #3399cc; } a:hover { text-decoration: underline; color: #39c5bb; /* FROM miku */ } ul, ol { padding-left: 2em; } ul { list-style-type: square; list-style-image: inherit; list-style-position: outside; } ol { list-style-type: circle; list-style-position: outside; } /* ol ol { list-style-type: lower-alpha; } */ .todo { color: #CA0000; } .done { color: #006666; } .timestamp-kwd { color: #444; } 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 { font-family: Monaco, Consolas, "Lucida Console", monospace; color: black; /* background-color: #f2f2f2; /\* FROM worg.css *\/ */ background-color: #d7dfed; /* FROM Bryan Ford */ padding: 1.2em; overflow: auto; } 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; } .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; } #postamble { padding: .3em; margin-bottom: 1em; border: 1px solid gray; background-color: #d7dfed; /* same as pre */ } #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: #f9f5d7; /* FROM Xe */ /* FROM simple.css */ margin: 2rem 0 2rem 2rem; padding: 0.4rem 0.8rem; border-left: 0.35rem solid #0d47a1; color: #585858; font-style: italic; } .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; }