Docs: (defpred.org) Add HTML export

It looks nice, even if it isn't practically viewable on GitHub.
This commit is contained in:
Adam Porter 2020-11-23 03:19:13 -06:00
parent b01106bd0f
commit 92d099caf6
25 changed files with 2257 additions and 2 deletions

View file

@ -0,0 +1,264 @@
* {
border-color: #657b83;
}
a {
color: #268bd2 !important;
}
a:visited {
color: #6c71c4 !important;
}
body {
background-color: #002b36 !important;
color: #839496 !important;
font-family: Libre Baskerville, serif;
}
html {
background-color: #002b36 !important;
}
input,
textarea {
background-color: #073642 !important;
color: #839496 !important;
}
blockquote,
code,
pre {
background-color: #073642 !important;
border: 1px solid #094352 !important;
border-radius: 2px;
box-shadow: none;
color: #839496 !important;
}
code {
font-size: 1.2em;
}
img {
margin: 0.5em;
}
.buttons {
background-color: #073642 !important;
color: #93a1a1 !important;
font-family: sans-serif;
font-size: 1.5rem;
}
.hsReviewPanel {
display: none;
}
.title {
border: 0;
}
#postamble {
display: none;
}
#banner {
text-align: center;
}
#tabs {
background-color: #073642 !important;
float: left;
margin: 0px 0px 20px 0px;
padding: 0;
width: 100%;
font-family: sans-serif;
}
#tabs ul {
margin: 0;
padding: 0;
}
#tabs li {
float: left;
list-style-type: none;
margin: 0px 2px 0px 0px;
padding: 0px 0px 0px 0px;
white-space: nowrap;
}
#tabs li a {
display: block;
font-size: 120%;
font-weight: bold;
margin: 0;
padding: 4px 10px 4px 10px;
text-decoration: none;
}
#tabs li a:hover {
color: #90c5eb !important;
}
#tabs li.ui-tabs-active a {
background-color: #094352 !important;
color: #59a9e1 !important;
}
#content {
clear: both;
width: 80%;
}
#content > p {
margin: 1em;
}
#content > div > h2 {
margin: 0.25rem;
}
#postamble {
text-align: right;
}
blockquote {
background-color: #073642 !important;
padding-left: 0.75em;
padding-right: 0.75em;
padding-top: 0.01em;
padding-bottom: 0.01em;
overflow: hidden;
margin-left: 0;
}
.outline-text-2,
.outline-text-3,
.outline-text-4,
.outline-text-5,
.outline-text-6 {
padding-left: 4%;
}
.outline-3 {
padding-left: 4%;
}
.outline-4 {
padding-left: 4%;
}
.outline-5 {
padding-left: 4%;
}
.outline-6 {
padding-left: 4%;
}
h1,
h2,
h3,
h4,
h5,
h6 {
font-family: sans-serif;
border-bottom: 2px solid;
border-color: #094352 !important;
}
a:hover {
text-decoration: underline;
}
#search {
display: block;
float: right;
}
.tag {
background-color: #002b36 !important;
color: #93a1a1 !important;
border: 0px;
}
.tag span {
background-color: #094352 !important;
margin: 0.25em;
padding: 0.25em;
}
#table-of-contents {
display: table;
float: right;
}
#table-of-contents h2 {
display: none;
}
#table-of-contents li {
list-style-type: none;
}
#table-of-contents a:hover {
text-decoration: underline;
}
#minitoc {
background-color: #073642 !important;
position: fixed;
top: 0px;
right: -5px;
padding: 0.5em;
z-index: 200;
width: 18%;
word-wrap: normal;
overflow: hidden;
}
#minitoc ul {
margin: 0.5em;
padding-left: 1em;
}
#minitoc h2 {
margin-top: 0;
margin-bottom: 0;
font-size: 110%;
}
#minitoc a {
display: block;
font-family: sans-serif;
text-decoration: none;
}
#minitoc a:hover {
text-decoration: underline;
}
/* #minitoc a { */
/* display: none; */
/* } */
#minitoc:hover a {
display: block;
}
#toTop {
top: -100px;
position: fixed;
text-align: center;
z-index: 999;
display: none;
}
#toTop:hover {
text-decoration: underline;
}
#left-panel-wrapper {
display: none;
position: fixed;
z-index: 200;
}
#left-panel-contents {
display: none;
position: fixed;
text-align: left;
top: 0;
z-index: 200;
}
#left-panel-button {
transform: rotate(90deg);
left: -23px;
position: fixed;
top: 50%;
z-index: 200;
}
#right-panel-wrapper {
position: fixed;
z-index: 200;
}
#right-panel-contents {
display: none;
z-index: 200;
position: fixed;
text-align: left;
top: 0;
}
.snippet-copy-to-clipboard {
display: none;
position: absolute;
left: 50px;
top: 50px;
}
.org-ol > li,
.org-dl > dt {
margin-top: 0.5em;
}
.org-ul {
margin-top: 1em;
margin-bottom: 1em;
}
.org-ul li {
margin-top: 0.5em;
}
.org-ul > li > a {
font-family: sans-serif;
}

View file

@ -0,0 +1,110 @@
/* hideshow.css --- HideShow CSS file */
/* Copyright (C) 2014 All Right Reserved, Fabrice Niessen */
/* This file is free software: you can redistribute it and/or */
/* modify it under the terms of the GNU General Public License as */
/* published by the Free Software Foundation, either version 3 of */
/* the License, or (at your option) any later version. */
/* This file is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU General Public License for more details. */
/* Author: Fabrice Niessen <(concat "fniessen" at-sign "pirilampo.org")> */
/* URL: https://github.com/fniessen/hide-show/ */
/* Version: 20140912.1722 */
.hsExpanded.hsAnchor {background: #EE7700;}
.buttons {
padding: 0px 7px 13px 0px;
background: #0A3F69;
}
.hsButton {
color: white;
float: right;
font-size: 70%;
margin-left: 10px;
}
.hsButton:hover {
text-decoration: underline;
cursor: pointer;
}
.ellipsis {
color: #999999;
/* background-color: #FFF8C0; */
/* float: right; */
margin-left: 0.6em;
}
.hsReview {
border: 1px solid #A4A4A4;
background-color: white;
z-index: 500; /* must be greater then z-index of hsOverlay */
position: relative; /* required for z-index to work */
}
#hsOverlay {
width: 100%;
height: 100%;
position: fixed;
left: 0px;
top: 0px;
background-color: #000;
opacity: .70;
z-index: 250; /* must be greater than any other z-index (except the one for .hsReview */
}
.hsReviewPanel {
background-color: #757176;
color: white;
line-height: 1.1em;
margin: 10px 0px;
padding: 10px;
position: fixed;
width: auto;
bottom: 0px;
right: 0px;
z-index: 501;
text-align: center;
}
.hsReviewPanel.hsReviewing {
display: none;
}
.hsReviewPanel:hover {
cursor: pointer;
}
.hsReviewingPanel {
background-color: white;
color: #757176;
line-height: 1.1em;
margin: 10px 0px;
padding: 10px;
position: fixed;
width: auto;
bottom: 0px;
right: 0px;
z-index: 501;
text-align: center;
}
.hsReviewButton:hover {
cursor: pointer;
}
.hsUnselectable {
-webkit-touch-callout: none;
-webkit-user-select: none;
-khtml-user-select: none;
-moz-user-select: none;
-ms-user-select: none;
user-select: none;
}

View file

@ -0,0 +1,145 @@
.org-bold { /* bold */ font-weight: bold; }
.org-bold-italic { /* bold-italic */ font-weight: bold; font-style: italic; }
.org-buffer-menu-buffer { /* buffer-menu-buffer */ font-weight: bold; }
.org-builtin { /* font-lock-builtin-face */ color: #7a378b; }
.org-button { /* button */ text-decoration: underline; }
.org-calendar-today { /* calendar-today */ text-decoration: underline; }
.org-change-log-acknowledgement { /* change-log-acknowledgement */ color: #b22222; }
.org-change-log-conditionals { /* change-log-conditionals */ color: #a0522d; }
.org-change-log-date { /* change-log-date */ color: #8b2252; }
.org-change-log-email { /* change-log-email */ color: #a0522d; }
.org-change-log-file { /* change-log-file */ color: #0000ff; }
.org-change-log-function { /* change-log-function */ color: #a0522d; }
.org-change-log-list { /* change-log-list */ color: #a020f0; }
.org-change-log-name { /* change-log-name */ color: #008b8b; }
.org-comint-highlight-input { /* comint-highlight-input */ font-weight: bold; }
.org-comint-highlight-prompt { /* comint-highlight-prompt */ color: #00008b; }
.org-comment { /* font-lock-comment-face */ color: #b22222; }
.org-comment-delimiter { /* font-lock-comment-delimiter-face */ color: #b22222; }
.org-completions-annotations { /* completions-annotations */ font-style: italic; }
.org-completions-common-part { /* completions-common-part */ color: #000000; background-color: #ffffff; }
.org-completions-first-difference { /* completions-first-difference */ font-weight: bold; }
.org-constant { /* font-lock-constant-face */ color: #008b8b; }
.org-diary { /* diary */ color: #ff0000; }
.org-diff-context { /* diff-context */ color: #7f7f7f; }
.org-diff-file-header { /* diff-file-header */ background-color: #b3b3b3; font-weight: bold; }
.org-diff-function { /* diff-function */ background-color: #cccccc; }
.org-diff-header { /* diff-header */ background-color: #cccccc; }
.org-diff-hunk-header { /* diff-hunk-header */ background-color: #cccccc; }
.org-diff-index { /* diff-index */ background-color: #b3b3b3; font-weight: bold; }
.org-diff-nonexistent { /* diff-nonexistent */ background-color: #b3b3b3; font-weight: bold; }
.org-diff-refine-change { /* diff-refine-change */ background-color: #d9d9d9; }
.org-dired-directory { /* dired-directory */ color: #0000ff; }
.org-dired-flagged { /* dired-flagged */ color: #ff0000; font-weight: bold; }
.org-dired-header { /* dired-header */ color: #228b22; }
.org-dired-ignored { /* dired-ignored */ color: #7f7f7f; }
.org-dired-mark { /* dired-mark */ color: #008b8b; }
.org-dired-marked { /* dired-marked */ color: #ff0000; font-weight: bold; }
.org-dired-perm-write { /* dired-perm-write */ color: #b22222; }
.org-dired-symlink { /* dired-symlink */ color: #a020f0; }
.org-dired-warning { /* dired-warning */ color: #ff0000; font-weight: bold; }
.org-doc { /* font-lock-doc-face */ color: #8b2252; }
.org-escape-glyph { /* escape-glyph */ color: #a52a2a; }
.org-file-name-shadow { /* file-name-shadow */ color: #7f7f7f; }
.org-flyspell-duplicate { /* flyspell-duplicate */ color: #cdad00; font-weight: bold; text-decoration: underline; }
.org-flyspell-incorrect { /* flyspell-incorrect */ color: #ff4500; font-weight: bold; text-decoration: underline; }
.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-isearch { /* isearch */ color: #b0e2ff; background-color: #cd00cd; }
.org-isearch-fail { /* isearch-fail */ background-color: #ffc1c1; }
.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-log-edit-header { /* log-edit-header */ color: #a020f0; }
.org-log-edit-summary { /* log-edit-summary */ color: #0000ff; }
.org-log-edit-unknown-header { /* log-edit-unknown-header */ color: #b22222; }
.org-match { /* match */ background-color: #ffff00; }
.org-next-error { /* next-error */ background-color: #eedc82; }
.org-nobreak-space { /* nobreak-space */ color: #a52a2a; text-decoration: underline; }
.org-org-archived { /* org-archived */ color: #7f7f7f; }
.org-org-block { /* org-block */ color: #7f7f7f; }
.org-org-block-begin-line { /* org-block-begin-line */ color: #b22222; }
.org-org-block-end-line { /* org-block-end-line */ color: #b22222; }
.org-org-checkbox { /* org-checkbox */ font-weight: bold; }
.org-org-checkbox-statistics-done { /* org-checkbox-statistics-done */ color: #228b22; font-weight: bold; }
.org-org-checkbox-statistics-todo { /* org-checkbox-statistics-todo */ color: #ff0000; font-weight: bold; }
.org-org-clock-overlay { /* org-clock-overlay */ background-color: #ffff00; }
.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-document-info { /* org-document-info */ color: #191970; }
.org-org-document-info-keyword { /* org-document-info-keyword */ color: #7f7f7f; }
.org-org-document-title { /* org-document-title */ color: #191970; font-size: 144%; font-weight: bold; }
.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-footnote { /* org-footnote */ color: #a020f0; 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: #ffffff; }
.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: #a0522d; }
.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: #008b8b; }
.org-org-level-7 { /* org-level-7 */ color: #7a378b; }
.org-org-level-8 { /* org-level-8 */ color: #8b2252; }
.org-org-link { /* org-link */ color: #0000ff; text-decoration: underline; }
.org-org-meta-line { /* org-meta-line */ color: #b22222; }
.org-org-mode-line-clock { /* org-mode-line-clock */ color: #000000; background-color: #bfbfbf; }
.org-org-mode-line-clock-overrun { /* org-mode-line-clock-overrun */ color: #000000; background-color: #ff0000; }
.org-org-quote { /* org-quote */ color: #7f7f7f; }
.org-org-scheduled { /* org-scheduled */ color: #006400; }
.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: #a020f0; }
.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; font-weight: bold; }
.org-org-upcoming-deadline { /* org-upcoming-deadline */ color: #b22222; }
.org-org-verbatim { /* org-verbatim */ color: #7f7f7f; }
.org-org-verse { /* org-verse */ color: #7f7f7f; }
.org-org-warning { /* org-warning */ color: #ff0000; font-weight: bold; }
.org-outline-1 { /* outline-1 */ color: #0000ff; }
.org-outline-2 { /* outline-2 */ color: #a0522d; }
.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: #008b8b; }
.org-outline-7 { /* outline-7 */ color: #7a378b; }
.org-outline-8 { /* outline-8 */ color: #8b2252; }
.org-preprocessor { /* font-lock-preprocessor-face */ color: #7a378b; }
.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-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: #8b2252; }
.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: #a0522d; }
.org-warning { /* font-lock-warning-face */ color: #ff0000; font-weight: bold; }
.org-widget-button { /* widget-button */ font-weight: bold; }
.org-widget-button-pressed { /* widget-button-pressed */ color: #ff0000; }
.org-widget-documentation { /* widget-documentation */ color: #006400; }
.org-widget-field { /* widget-field */ background-color: #d9d9d9; }
.org-widget-inactive { /* widget-inactive */ color: #7f7f7f; }
.org-widget-single-line-field { /* widget-single-line-field */ background-color: #d9d9d9; }