changeset 46: | 47d4b9df6dff |
parent: | 2b6f731f3684 |
child: | a3c65427bdde |
author: | Richard Westhaver <ellis@rwest.io> |
date: | Sun, 25 Aug 2024 00:15:40 -0400 |
permissions: | -rw-r--r-- |
description: | meta and task work |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
1 | ; -*- mode: org -*- |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
2 | #+STARTUP: entitiespretty |
32 | 3 | #+language: ulang |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
4 | #+DATE: {{{modification-time("%F %r", t)}}} |
35 | 5 | #+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark toc:nil |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
6 | #+HTML_DOCTYPE: html5 |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
7 | #+LATEX_HEADER: \usepackage{placeins} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
8 | #+LATEX_HEADER: \usepackage{parskip} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
9 | #+LATEX_HEADER: \usepackage{xcolor} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
10 | #+LATEX_HEADER: \PassOptionsToPackage{hyperref,x11names}{xcolor} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
11 | #+LATEX_HEADER: \usepackage{tocloft} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
12 | #+LATEX_HEADER: \usepackage[margin=2cm]{geometry} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
13 | #+COMMENT: #+ODT_STYLES_FILE: ~/org/ox/odt-theme.xml |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
14 | #+LATEX_HEADER: \renewcommand{\cftsecleader}{\cftdotfill{\cftdotsep}} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
15 | #+LATEX_HEADER: \hypersetup{colorlinks, citecolor=red,filecolor=magenta,linkcolor=magenta,urlcolor=magenta} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
16 | |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
17 | #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/commit-mono.css" /> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
18 | #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/3270.css" /> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
19 | #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/pragmata-pro.css" /> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
20 | |
34 | 21 | #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/css/htmlize.css" /> |
22 | ||
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
23 | #+HTML_HEAD: <style type="text/css"> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
24 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
25 | #+HTML_HEAD: *, |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
26 | #+HTML_HEAD: *::before, |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
27 | #+HTML_HEAD: *::after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
28 | #+HTML_HEAD: box-sizing: border-box; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
29 | #+HTML_HEAD: margin: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
30 | #+HTML_HEAD: padding: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
31 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
32 | #+HTML_HEAD: :root { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
33 | #+HTML_HEAD: --text: #111; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
34 | #+HTML_HEAD: --middle: #555; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
35 | #+HTML_HEAD: --bg: #aaa; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
36 | #+HTML_HEAD: --max-width: 54ch; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
37 | #+HTML_HEAD: font-size: 16px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
38 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
39 | #+HTML_HEAD: /* @media (prefers-color-scheme: dark) { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
40 | #+HTML_HEAD: :root { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
41 | #+HTML_HEAD: --text: #aaa; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
42 | #+HTML_HEAD: --middle: #555; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
43 | #+HTML_HEAD: --bg: #111; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
44 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
45 | #+HTML_HEAD: } */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
46 | #+HTML_HEAD: * { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
47 | #+HTML_HEAD: -webkit-box-sizing: border-box; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
48 | #+HTML_HEAD: -moz-box-sizing: border-box; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
49 | #+HTML_HEAD: box-sizing: border-box; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
50 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
51 | #+HTML_HEAD: body { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
52 | #+HTML_HEAD: font-family: "CommitMono", monospace; |
32 | 53 | #+HTML_HEAD: font-size: 14px; |
54 | # #+HTML_HEAD: -webkit-font-smoothing: antialiased; |
|
55 | # #+HTML_HEAD: -moz-osx-font-smoothing: grayscale; |
|
56 | # #+HTML_HEAD: font-feature-settings: "ss01", "ss03", "ss04", "ss05"; |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
57 | #+HTML_HEAD: color: #EFFAF9; |
33 | 58 | #+HTML_HEAD: background-color: #0C0F0A; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
59 | #+HTML_HEAD: } |
32 | 60 | |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
61 | #+HTML_HEAD: div.status { |
32 | 62 | # #+HTML_HEAD: position: fixed; |
63 | # #+HTML_HEAD: margin: 0.2em; |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
64 | #+HTML_HEAD: text-align: center; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
65 | #+HTML_HEAD: } |
32 | 66 | |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
67 | #+HTML_HEAD: h1, h2, h3, h4, h5, h6 { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
68 | #+HTML_HEAD: position: relative; |
32 | 69 | #+HTML_HEAD: margin: 16px 0 8px; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
70 | #+HTML_HEAD: font-weight: bold; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
71 | #+HTML_HEAD: line-height: 1.1; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
72 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
73 | #+HTML_HEAD: text-rendering: optimizeLegibility; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
74 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
75 | #+HTML_HEAD: h1:before, h2:before, h3:before, h4:before, h5:before, h6:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
76 | #+HTML_HEAD: position: absolute; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
77 | #+HTML_HEAD: top: auto; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
78 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
79 | #+HTML_HEAD: display: none; |
32 | 80 | #+HTML_HEAD: text-align: left; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
81 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
82 | #+HTML_HEAD: h1:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
83 | #+HTML_HEAD: content: ""; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
84 | #+HTML_HEAD: left: -1.25em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
85 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
86 | #+HTML_HEAD: h2:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
87 | #+HTML_HEAD: content: "*"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
88 | #+HTML_HEAD: left: -2em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
89 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
90 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
91 | #+HTML_HEAD: h3:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
92 | #+HTML_HEAD: content: "**"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
93 | #+HTML_HEAD: left: -2em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
94 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
95 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
96 | #+HTML_HEAD: h4:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
97 | #+HTML_HEAD: content: "***"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
98 | #+HTML_HEAD: left: -3em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
99 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
100 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
101 | #+HTML_HEAD: h5:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
102 | #+HTML_HEAD: content: "****"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
103 | #+HTML_HEAD: left: -3em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
104 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
105 | #+HTML_HEAD: h6:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
106 | #+HTML_HEAD: content: "*****"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
107 | #+HTML_HEAD: left: -4em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
108 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
109 | #+HTML_HEAD: i, em, b, strong { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
110 | #+HTML_HEAD: padding-left: .1em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
111 | #+HTML_HEAD: padding-right: .1em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
112 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
113 | #+HTML_HEAD: b, strong { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
114 | #+HTML_HEAD: font-weight: bold; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
115 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
116 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
117 | #+HTML_HEAD: b:before, b: after, strong:before, strong: after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
118 | #+HTML_HEAD: content: "*"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
119 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
120 | #+HTML_HEAD: i:before, i: after, em:before, em: after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
121 | #+HTML_HEAD: content: "/"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
122 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
123 | #+HTML_HEAD: hr { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
124 | #+HTML_HEAD: margin: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
125 | #+HTML_HEAD: border: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
126 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
127 | #+HTML_HEAD: hr: after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
128 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
129 | #+HTML_HEAD: margin: 20px 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
130 | #+HTML_HEAD: content: "----------------------------------------------------------------"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
131 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
132 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
133 | #+HTML_HEAD: ul, ol { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
134 | #+HTML_HEAD: padding: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
135 | #+HTML_HEAD: margin: 0 0 20px 20px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
136 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
137 | #+HTML_HEAD: code, pre { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
138 | #+HTML_HEAD: font-family: "3270", monospace; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
139 | #+HTML_HEAD: overflow: overlay; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
140 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
141 | #+HTML_HEAD: code { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
142 | #+HTML_HEAD: font-family: monospace; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
143 | #+HTML_HEAD: color: #EDF060; |
33 | 144 | #+HTML_HEAD: background-color: #303330; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
145 | #+HTML_HEAD: } |
34 | 146 | # #+HTML_HEAD: code:before, code:after { |
147 | # #+HTML_HEAD: content: "="; |
|
148 | # #+HTML_HEAD: color: #DDCAD9; |
|
149 | # #+HTML_HEAD: } |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
150 | #+HTML_HEAD: .src { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
151 | #+HTML_HEAD: font-family: monospace; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
152 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
153 | #+HTML_HEAD: p::after{ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
154 | #+HTML_HEAD: content: "\a\a"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
155 | #+HTML_HEAD: white-space: pre; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
156 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
157 | #+HTML_HEAD: pre { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
158 | #+HTML_HEAD: font-family: monospace; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
159 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
160 | #+HTML_HEAD: margin: 0 0 14px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
161 | #+HTML_HEAD: padding: 15px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
162 | #+HTML_HEAD: border-radius: 3px 3px 3px 3px; |
33 | 163 | #+HTML_HEAD: background-color: #303030; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
164 | # #+HTML_HEAD: word-break: break-all; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
165 | # #+HTML_HEAD: word-wrap: break-word; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
166 | #+HTML_HEAD: } |
33 | 167 | #+HTML_HEAD: |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
168 | #+HTML_HEAD: blockquote { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
169 | #+HTML_HEAD: padding: 0 0 0 20px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
170 | #+HTML_HEAD: margin: 0 30px 20px -22.5px; |
41 | 171 | #+HTML_HEAD: color: #AAD3F8; |
172 | #+HTML_HEAD: border-left: 8px solid #B08889; |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
173 | #+HTML_HEAD: } |
33 | 174 | |
175 | #+HTML_HEAD: pre.example { |
|
176 | #+HTML_HEAD: border-left: 8px solid #493657; |
|
177 | #+HTML_HEAD: } |
|
178 | ||
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
179 | #+HTML_HEAD: blockquote p: last-child { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
180 | #+HTML_HEAD: margin-bottom: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
181 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
182 | #+HTML_HEAD: img { |
34 | 183 | #+HTML_HEAD: display: block; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
184 | #+HTML_HEAD: max-width: 100%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
185 | #+HTML_HEAD: height: auto; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
186 | #+HTML_HEAD: margin: auto; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
187 | #+HTML_HEAD: border-radius: 5px; |
34 | 188 | #+HTML_HEAD: padding-bottom: 1em; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
189 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
190 | #+HTML_HEAD: figure > object { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
191 | #+HTML_HEAD: height: auto; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
192 | #+HTML_HEAD: margin: auto; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
193 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
194 | #+HTML_HEAD: a { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
195 | #+HTML_HEAD: font-weight: inherit; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
196 | #+HTML_HEAD: line-height: inherit; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
197 | #+HTML_HEAD: color: #84DCC6; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
198 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
199 | #+HTML_HEAD: sup a:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
200 | #+HTML_HEAD: content: "["; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
201 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
202 | #+HTML_HEAD: sup a:after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
203 | #+HTML_HEAD: content: "]"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
204 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
205 | #+HTML_HEAD: a:hover { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
206 | #+HTML_HEAD: text-decorac: blink; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
207 | #+HTML_HEAD: color: #C43952; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
208 | #+HTML_HEAD: background-color: #222222; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
209 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
210 | #+HTML_HEAD: table { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
211 | #+HTML_HEAD: line-height: 1.8; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
212 | #+HTML_HEAD: margin-bottom: 15px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
213 | #+HTML_HEAD: max-width: 100%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
214 | #+HTML_HEAD: width: 100%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
215 | #+HTML_HEAD: border: 1px solid lightsteelblue; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
216 | #+HTML_HEAD: border-style: inset; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
217 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
218 | #+HTML_HEAD: table td, table th { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
219 | #+HTML_HEAD: padding: 0 15px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
220 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
221 | #+HTML_HEAD: table th.left, table td.left { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
222 | #+HTML_HEAD: text-align: left; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
223 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
224 | #+HTML_HEAD: table th.right, table td.right { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
225 | #+HTML_HEAD: text-align: right; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
226 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
227 | #+HTML_HEAD: td, th { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
228 | #+HTML_HEAD: border: 1px solid lightsteelblue; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
229 | #+HTML_HEAD: border-style: outset; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
230 | #+HTML_HEAD: } |
32 | 231 | |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
232 | #+HTML_HEAD: /* body */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
233 | #+HTML_HEAD: body { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
234 | #+HTML_HEAD: margin: auto auto; |
32 | 235 | #+HTML_HEAD: max-width: 98%; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
236 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
237 | #+HTML_HEAD: /* head */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
238 | #+HTML_HEAD: .masthead { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
239 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
240 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
241 | #+HTML_HEAD: .masthead: after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
242 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
243 | #+HTML_HEAD: content: '----------------------------------------------------------------'; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
244 | #+HTML_HEAD: margin: 10px 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
245 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
246 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
247 | #+HTML_HEAD: .masthead a { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
248 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
249 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
250 | #+HTML_HEAD: .masthead ul { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
251 | #+HTML_HEAD: list-style: none; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
252 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
253 | #+HTML_HEAD: .masthead li { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
254 | #+HTML_HEAD: display: inline-block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
255 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
256 | #+HTML_HEAD: .masthead li + li:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
257 | #+HTML_HEAD: display: inline-block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
258 | #+HTML_HEAD: content: "\00B7 \00a0"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
259 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
260 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
261 | #+HTML_HEAD: /* searchform*/ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
262 | #+HTML_HEAD: #searchform { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
263 | #+HTML_HEAD: position: absolute; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
264 | #+HTML_HEAD: top: 54px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
265 | #+HTML_HEAD: right: 30.4%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
266 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
267 | #+HTML_HEAD: #searchform #s { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
268 | #+HTML_HEAD: background: url("/media/img/search.png") no-repeat 5px 6px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
269 | #+HTML_HEAD: box-shadow: inset 0 1px 1px rgba(0,0,0,0.1); |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
270 | #+HTML_HEAD: border: 1px solid #ddd; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
271 | #+HTML_HEAD: border-radius: 2px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
272 | #+HTML_HEAD: -moz-border-radius: 2px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
273 | #+HTML_HEAD: width: 90px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
274 | #+HTML_HEAD: height: 30px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
275 | #+HTML_HEAD: line-height: 12px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
276 | #+HTML_HEAD: padding: 4px 10px 4px 28px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
277 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
278 | #+HTML_HEAD: -webkit-transition-duration: 400ms; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
279 | #+HTML_HEAD: -webkit-transition-property: width, background; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
280 | #+HTML_HEAD: -webkit-transition-timing-function: ease; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
281 | #+HTML_HEAD: -moz-transition-duration: 400ms; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
282 | #+HTML_HEAD: -moz-transition-property: width, background; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
283 | #+HTML_HEAD: -moz-transition-timing-function: ease; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
284 | #+HTML_HEAD: -o-transition-duration: 400ms; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
285 | #+HTML_HEAD: -o-transition-property: width, background; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
286 | #+HTML_HEAD: -o-transition-timing-function: ease; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
287 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
288 | #+HTML_HEAD: #searchform #s: focus { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
289 | #+HTML_HEAD: background-color: #3F3F37; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
290 | #+HTML_HEAD: width: 160px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
291 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
292 | #+HTML_HEAD: .masthead img.avatar { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
293 | #+HTML_HEAD: position: relative; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
294 | #+HTML_HEAD: float: right; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
295 | #+HTML_HEAD: margin-top: -100px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
296 | #+HTML_HEAD: margin-bottom: -100%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
297 | #+HTML_HEAD: margin-right: 10%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
298 | #+HTML_HEAD: width: 200px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
299 | #+HTML_HEAD: background-color: #3F3F37; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
300 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
301 | #+HTML_HEAD: /* post */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
302 | #+HTML_HEAD: .post { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
303 | #+HTML_HEAD: position: relative; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
304 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
305 | #+HTML_HEAD: .post: after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
306 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
307 | #+HTML_HEAD: content: "----------------------------------------------------------------"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
308 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
309 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
310 | #+HTML_HEAD: .post img { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
311 | #+HTML_HEAD: max-width: 100%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
312 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
313 | #+HTML_HEAD: .post li { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
314 | #+HTML_HEAD: list-style: none outside none; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
315 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
316 | #+HTML_HEAD: .post ul > li:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
317 | #+HTML_HEAD: content: "- "; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
318 | #+HTML_HEAD: margin-left: -1.25em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
319 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
320 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
321 | #+HTML_HEAD: .post ol { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
322 | #+HTML_HEAD: counter-reset: o-list; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
323 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
324 | #+HTML_HEAD: .post ol > li:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
325 | #+HTML_HEAD: content: counter(o-list) ") "; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
326 | #+HTML_HEAD: counter-increment: o-list; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
327 | #+HTML_HEAD: margin-left: -1.85em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
328 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
329 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
330 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
331 | #+HTML_HEAD: /* special for li in pre */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
332 | #+HTML_HEAD: .post pre li { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
333 | #+HTML_HEAD: font-family: monospace; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
334 | #+HTML_HEAD: list-style-type: decimal; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
335 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
336 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
337 | #+HTML_HEAD: .post pre li:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
338 | #+HTML_HEAD: display: none; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
339 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
340 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
341 | #+HTML_HEAD: /* meta info */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
342 | #+HTML_HEAD: .post-info { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
343 | #+HTML_HEAD: display: inline-block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
344 | #+HTML_HEAD: margin: -10px 0 -10px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
345 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
346 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
347 | #+HTML_HEAD: .post-info + .post-info:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
348 | #+HTML_HEAD: content: "\2223 \00a0"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
349 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
350 | #+HTML_HEAD: .post-meta: after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
351 | #+HTML_HEAD: content: "----------------------------------------------------------------"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
352 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
353 | #+HTML_HEAD: margin-top: -1px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
354 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
355 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
356 | #+HTML_HEAD: |
32 | 357 | #+HTML_HEAD: /* nav */ |
33 | 358 | #+HTML_HEAD: div #nav { |
359 | #+HTML_HEAD: z-index: 10; |
|
360 | #+HTML_HEAD: top: 0.2em; |
|
361 | #+HTML_HEAD: left: 0.2em; |
|
32 | 362 | #+HTML_HEAD: text-align: left; |
363 | #+HTML_HEAD: font-size: 1.2rem; |
|
364 | #+HTML_HEAD: cursor: pointer; |
|
365 | #+HTML_HEAD: position: fixed; |
|
33 | 366 | #+HTML_HEAD: } |
367 | ||
368 | #+HTML_HEAD: div #nav h2 { |
|
369 | #+HTML_HEAD: margin: 0em; |
|
370 | #+HTML_HEAD: } |
|
371 | ||
372 | #+HTML_HEAD: #index { |
|
373 | #+HTML_HEAD: display: block; |
|
374 | #+HTML_HEAD: text-align: left; |
|
375 | #+HTML_HEAD: color: #DDCAD9; |
|
376 | #+HTML_HEAD: font-size: 48px; |
|
377 | #+HTML_HEAD: font-stretch: ultra-expanded; |
|
378 | #+HTML_HEAD: } |
|
379 | ||
380 | #+HTML_HEAD: div #text-index { |
|
381 | #+HTML_HEAD: color: #EDF060; |
|
382 | #+HTML_HEAD: display: none; |
|
383 | #+HTML_HEAD: text-align: left; |
|
32 | 384 | #+HTML_HEAD: backdrop-filter: blur(6px); |
385 | #+HTML_HEAD: } |
|
386 | ||
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
387 | #+HTML_HEAD: /* table of content */ |
34 | 388 | #+HTML_HEAD: nav, #table-of-contents { |
32 | 389 | #+HTML_HEAD: cursor: pointer; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
390 | #+HTML_HEAD: position: fixed; |
32 | 391 | #+HTML_HEAD: right: 0.2em; |
392 | #+HTML_HEAD: top: 0.2em; |
|
393 | # #+HTML_HEAD: border: 1px solid #e1e1e8; |
|
34 | 394 | #+HTML_HEAD: -webkit-box-shadow: 0 0 1em #777777; |
395 | #+HTML_HEAD: -moz-box-shadow: 0 0 1em #777777; |
|
396 | #+HTML_HEAD: -webkit-border-bottom-left-radius: 5px; |
|
397 | #+HTML_HEAD: -moz-border-radius-bottomleft: 5px; |
|
32 | 398 | #+HTML_HEAD: text-align: right; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
399 | #+HTML_HEAD: /* ensure doesn't flow off the screen when expanded */ |
32 | 400 | #+HTML_HEAD: height: auto; |
35 | 401 | # #+HTML_HEAD: overflow-y: scroll; |
34 | 402 | #+HTML_HEAD: z-index: 11; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
403 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
404 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
405 | #+HTML_HEAD: #table-of-contents h2 { |
33 | 406 | #+HTML_HEAD: margin: 0em; |
32 | 407 | #+HTML_HEAD: font-size: 48px; |
33 | 408 | # #+HTML_HEAD: font-stretch: ultra-expanded; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
409 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
410 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
411 | #+HTML_HEAD: #table-of-contents ul { |
32 | 412 | #+HTML_HEAD: margin-left: 14pt; |
413 | #+HTML_HEAD: margin-bottom: 10pt; |
|
414 | #+HTML_HEAD: padding: 0 |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
415 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
416 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
417 | #+HTML_HEAD: #table-of-contents li { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
418 | #+HTML_HEAD: padding: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
419 | #+HTML_HEAD: margin: 1px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
420 | #+HTML_HEAD: list-style: none; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
421 | #+HTML_HEAD: } |
32 | 422 | |
423 | #+HTML_HEAD: #table-of-contents li a { |
|
424 | #+HTML_HEAD: font-size: 16px; |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
425 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
426 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
427 | #+HTML_HEAD: #table-of-contents #text-table-of-contents { |
32 | 428 | #+HTML_HEAD: backdrop-filter: blur(6px); |
429 | #+HTML_HEAD: display: none; |
|
430 | #+HTML_HEAD: text-align: left; |
|
431 | #+HTML_HEAD: padding-right: 0.1em; |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
432 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
433 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
434 | #+HTML_HEAD: #table-of-contents: hover #text-table-of-contents { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
435 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
436 | #+HTML_HEAD: padding: 0.5em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
437 | #+HTML_HEAD: margin-top: -1.5em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
438 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
439 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
440 | #+HTML_HEAD: /* footer */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
441 | #+HTML_HEAD: .footer { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
442 | #+HTML_HEAD: margin: 80px 0 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
443 | #+HTML_HEAD: text-align: center; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
444 | #+HTML_HEAD: font-size: 13px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
445 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
446 | #+HTML_HEAD: left: 0em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
447 | #+HTML_HEAD: bottom: 0em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
448 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
449 | #+HTML_HEAD: .footer > p { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
450 | #+HTML_HEAD: margin: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
451 | #+HTML_HEAD: line-height: 1.5; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
452 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
453 | #+HTML_HEAD: .footpara { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
454 | #+HTML_HEAD: display: inline; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
455 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
456 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
457 | #+HTML_HEAD: /* Responsive |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
458 | #+HTML_HEAD: -------------------------------------------------- */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
459 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
460 | #+HTML_HEAD: @media (min-width: 768px) { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
461 | #+HTML_HEAD: /* Increase body padding and font-sizes */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
462 | #+HTML_HEAD: body { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
463 | #+HTML_HEAD: padding: 2em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
464 | #+HTML_HEAD: max-width: 70%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
465 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
466 | #+HTML_HEAD: h1:before, h2:before, h3:before, h4:before, h5:before, h6:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
467 | #+HTML_HEAD: display: inline; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
468 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
469 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
470 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
471 | |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
472 | # custom |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
473 | #+HTML_HEAD: .subtitle { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
474 | #+HTML_HEAD: text-align: center; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
475 | #+HTML_HEAD: color: red; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
476 | #+HTML_HEAD: font-weight: bold; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
477 | #+HTML_HEAD: font-size: 1.1em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
478 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
479 | #+HTML_HEAD: .tag::before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
480 | #+HTML_HEAD: content: ":"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
481 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
482 | #+HTML_HEAD: .tag::after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
483 | #+HTML_HEAD: content: ":"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
484 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
485 | #+HTML_HEAD: .tag { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
486 | #+HTML_HEAD: float: right; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
487 | #+HTML_HEAD: color: #8A7090; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
488 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
489 | #+HTML_HEAD: h3 .tag { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
490 | #+HTML_HEAD: right: 0px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
491 | #+HTML_HEAD: position: absolute; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
492 | #+HTML_HEAD: color: lightpink; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
493 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
494 | #+HTML_HEAD: .org-center { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
495 | #+HTML_HEAD: text-align: center; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
496 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
497 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
498 | #+HTML_HEAD: .outline-2, .outline-3, .outline-4, .outline-5 { |
32 | 499 | # #+HTML_HEAD: padding-left: 1em; |
500 | #+HTML_HEAD: } |
|
501 | ||
502 | #+HTML_HEAD: .outline-2 { |
|
503 | #+HTML_HEAD: padding-top: 1.8em; |
|
504 | #+HTML_HEAD: } |
|
505 | ||
506 | #+HTML_HEAD: .org-dl { |
|
507 | #+HTML_HEAD: |
|
508 | #+HTML_HEAD: } |
|
509 | ||
510 | #+HTML_HEAD: .org-dl dt { |
|
511 | #+HTML_HEAD: font-weight: bold; |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
512 | #+HTML_HEAD: } |
32 | 513 | |
514 | #+HTML_HEAD: .org-dl dt::after { |
|
515 | #+HTML_HEAD: content: " :: "; |
|
516 | #+HTML_HEAD: } |
|
517 | ||
518 | #+HTML_HEAD: .org-dl dd::before { |
|
519 | #+HTML_HEAD: font-size: xx-large; |
|
520 | #+HTML_HEAD: content: " ↳ "; |
|
521 | #+HTML_HEAD: } |
|
522 | ||
523 | #+HTML_HEAD: .org-dl dd { |
|
524 | #+HTML_HEAD: font-size: 0.9rem; |
|
525 | #+HTML_HEAD: margin-bottom: 0.5em; |
|
526 | #+HTML_HEAD: margin-left: 2em; |
|
527 | #+HTML_HEAD: } |
|
528 | ||
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
529 | #+HTML_HEAD: .title { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
530 | #+HTML_HEAD: text-align: center; |
32 | 531 | #+HTML_HEAD: padding-top: 1.8em; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
532 | #+HTML_HEAD: } |
32 | 533 | |
36 | 534 | #+HTML_HEAD: div#postamble.status { |
535 | #+HTML_HEAD: text-align: left; |
|
536 | #+HTML_HEAD: } |
|
39 | 537 | #+HTML_HEAD: .org-org-ref-acronym { |
538 | #+HTML_HEAD: /* org-ref-acronym-face */ |
|
539 | #+HTML_HEAD: color: #ee7600; |
|
540 | #+HTML_HEAD: text-decoration: underline; |
|
541 | #+HTML_HEAD: } |
|
542 | #+HTML_HEAD: .org-org-ref-cite { |
|
543 | #+HTML_HEAD: /* org-ref-cite-face */ |
|
544 | #+HTML_HEAD: color: #c3d5c3; |
|
545 | #+HTML_HEAD: text-decoration: underline; |
|
546 | #+HTML_HEAD: } |
|
547 | #+HTML_HEAD: .org-org-ref-glossary { |
|
548 | #+HTML_HEAD: /* org-ref-glossary-face */ |
|
549 | #+HTML_HEAD: color: #8968cd; |
|
550 | #+HTML_HEAD: text-decoration: underline; |
|
551 | #+HTML_HEAD: } |
|
552 | #+HTML_HEAD: .org-org-ref-label { |
|
553 | #+HTML_HEAD: /* org-ref-label-face */ |
|
554 | #+HTML_HEAD: color: #8b008b; |
|
555 | #+HTML_HEAD: text-decoration: underline; |
|
556 | #+HTML_HEAD: } |
|
557 | #+HTML_HEAD: .org-org-ref-ref { |
|
558 | #+HTML_HEAD: /* org-ref-ref-face */ |
|
559 | #+HTML_HEAD: color: #e1cc96; |
|
560 | #+HTML_HEAD: text-decoration: underline; |
|
561 | #+HTML_HEAD: } |
|
562 | #+HTML_HEAD: .org-org-scheduled { |
|
563 | #+HTML_HEAD: /* org-scheduled */ |
|
564 | #+HTML_HEAD: color: #006400; |
|
565 | #+HTML_HEAD: } |
|
566 | #+HTML_HEAD: .org-org-scheduled-previously { |
|
567 | #+HTML_HEAD: /* org-scheduled-previously */ |
|
568 | #+HTML_HEAD: color: #b22222; |
|
569 | #+HTML_HEAD: } |
|
570 | #+HTML_HEAD: .org-org-scheduled-today { |
|
571 | #+HTML_HEAD: /* org-scheduled-today */ |
|
572 | #+HTML_HEAD: color: #006400; |
|
573 | #+HTML_HEAD: } |
|
574 | #+HTML_HEAD: .org-org-sexp-date { |
|
575 | #+HTML_HEAD: /* org-sexp-date */ |
|
576 | #+HTML_HEAD: color: #a020f0; |
|
577 | #+HTML_HEAD: } |
|
578 | #+HTML_HEAD: .org-org-special-keyword { |
|
579 | #+HTML_HEAD: /* org-special-keyword */ |
|
580 | #+HTML_HEAD: color: #a020f0; |
|
581 | #+HTML_HEAD: } |
|
582 | #+HTML_HEAD: .org-org-todo { |
|
583 | #+HTML_HEAD: /* org-todo */ |
|
584 | #+HTML_HEAD: color: #ff0000; |
|
585 | #+HTML_HEAD: font-weight: bold; |
|
586 | #+HTML_HEAD: } |
|
41 | 587 | #+HTML_HEAD: .org-org-done { |
588 | #+HTML_HEAD: /* org-done */ |
|
589 | #+HTML_HEAD: color: #85BB41; |
|
590 | #+HTML_HEAD: font-weight: bold; |
|
591 | #+HTML_HEAD: } |
|
592 | #+HTML_HEAD: .PROJECT { |
|
593 | #+HTML_HEAD: color: lightseagreen; |
|
594 | #+HTML_HEAD: font-weight: bold; |
|
595 | #+HTML_HEAD: } |
|
596 | #+HTML_HEAD: .NOTE { |
|
597 | #+HTML_HEAD: color: lemonchiffon; |
|
598 | #+HTML_HEAD: font-weight: bold; |
|
599 | #+HTML_HEAD: } |
|
44 | 600 | #+HTML_HEAD: .PRODUCT { |
601 | #+HTML_HEAD: color: olivedrab; |
|
602 | #+HTML_HEAD: font-weight: bold; |
|
603 | #+HTML_HEAD: } |
|
604 | #+HTML_HEAD: .RELEASE { |
|
605 | #+HTML_HEAD: color: maroon3; |
|
606 | #+HTML_HEAD: font-weight: bold; |
|
607 | #+HTML_HEAD: } |
|
608 | #+HTML_HEAD: .NOTE { |
|
609 | #+HTML_HEAD: color: lemonchiffon; |
|
610 | #+HTML_HEAD: font-weight: bold; |
|
611 | #+HTML_HEAD: } |
|
612 | #+HTML_HEAD: .CODE { |
|
613 | #+HTML_HEAD: color: bisque; |
|
614 | #+HTML_HEAD: background-color: midnightblue; |
|
615 | #+HTML_HEAD: font-weight: bold; |
|
616 | #+HTML_HEAD: } |
|
617 | #+HTML_HEAD: .HOLD { |
|
618 | #+HTML_HEAD: color: red1; |
|
619 | #+HTML_HEAD: font-weight: bold; |
|
620 | #+HTML_HEAD: background-color: yellow1; |
|
621 | #+HTML_HEAD: } |
|
622 | #+HTML_HEAD: .WAIT { |
|
623 | #+HTML_HEAD: color: red; |
|
624 | #+HTML_HEAD: font-weight: bold; |
|
625 | #+HTML_HEAD: background-color: yellow1; |
|
626 | #+HTML_HEAD: } |
|
627 | #+HTML_HEAD: .WIP { |
|
628 | #+HTML_HEAD: color: darkorchid; |
|
629 | #+HTML_HEAD: font-weight: bold; |
|
630 | #+HTML_HEAD: } |
|
631 | #+HTML_HEAD: .NOPE { |
|
632 | #+HTML_HEAD: color: hotpink; |
|
633 | #+HTML_HEAD: font-weight: bold; |
|
634 | #+HTML_HEAD: background-color: darkgreen; |
|
635 | #+HTML_HEAD: } |
|
636 | #+HTML_HEAD: .RESEARCH { |
|
637 | #+HTML_HEAD: color: maroon; |
|
638 | #+HTML_HEAD: font-weight: bold; |
|
639 | #+HTML_HEAD: } |
|
640 | #+HTML_HEAD: .DONE { |
|
641 | #+HTML_HEAD: color: green; |
|
642 | #+HTML_HEAD: font-weight: bold; |
|
643 | #+HTML_HEAD: } |
|
644 | #+HTML_HEAD: .TODO { |
|
645 | #+HTML_HEAD: color: red; |
|
646 | #+HTML_HEAD: font-weight: bold; |
|
647 | #+HTML_HEAD: } |
|
46 | 648 | #+HTML_HEAD: .TEST { |
649 | #+HTML_HEAD: color: orange; |
|
650 | #+HTML_HEAD: font-weight: bold; |
|
651 | #+HTML_HEAD: } |
|
44 | 652 | #+HTML_HEAD: .TBD { |
653 | #+HTML_HEAD: color: darkred; |
|
654 | #+HTML_HEAD: font-weight: bold; |
|
655 | #+HTML_HEAD: } |
|
656 | #+HTML_HEAD: .HACK { |
|
657 | #+HTML_HEAD: color: coral; |
|
658 | #+HTML_HEAD: font-weight: bold; |
|
659 | #+HTML_HEAD: } |
|
46 | 660 | #+HTML_HEAD: .SPRINT { |
661 | #+HTML_HEAD: color: violet; |
|
662 | #+HTML_HEAD: font-weight: bold; |
|
663 | #+HTML_HEAD: } |
|
39 | 664 | #+HTML_HEAD: .org-org-upcoming-deadline { |
665 | #+HTML_HEAD: /* org-upcoming-deadline */ |
|
666 | #+HTML_HEAD: color: #b22222; |
|
667 | #+HTML_HEAD: } |
|
668 | #+HTML_HEAD: .org-org-upcoming-distant-deadline { |
|
669 | #+HTML_HEAD: /* org-upcoming-distant-deadline */ |
|
670 | #+HTML_HEAD: color: #000000; |
|
671 | #+HTML_HEAD: background-color: #ffffff; |
|
672 | #+HTML_HEAD: } |
|
673 | #+HTML_HEAD: |
|
674 | #+HTML_HEAD: .org-org-warning { |
|
675 | #+HTML_HEAD: /* org-warning */ |
|
676 | #+HTML_HEAD: color: #ff0000; |
|
677 | #+HTML_HEAD: font-weight: bold; |
|
678 | #+HTML_HEAD: } |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
679 | #+HTML_HEAD: .status { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
680 | #+HTML_HEAD: position: absolute; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
681 | #+HTML_HEAD: left: 1em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
682 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
683 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
684 | #+HTML_HEAD: div #footnotes { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
685 | #+HTML_HEAD: padding-bottom: 1em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
686 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
687 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
688 | #+HTML_HEAD: </style> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
689 | #+HTML_HEAD:<script type="text/javascript"> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
690 | #+HTML_HEAD: document.addEventListener('DOMContentLoaded',function() { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
691 | #+HTML_HEAD: document.getElementById("table-of-contents").onclick = function() { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
692 | #+HTML_HEAD: var elem = document.getElementById("text-table-of-contents"); |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
693 | #+HTML_HEAD: elem.style.display = elem.style.display == "block" ? "none" : "block"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
694 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
695 | #+HTML_HEAD: }); |
33 | 696 | #+HTML_HEAD: document.addEventListener('DOMContentLoaded',function() { |
697 | #+HTML_HEAD: document.getElementById("nav").onclick = function() { |
|
698 | #+HTML_HEAD: var elem = document.getElementById("text-index"); |
|
699 | #+HTML_HEAD: elem.style.display = elem.style.display == "block" ? "none" : "block"; |
|
700 | #+HTML_HEAD: } |
|
701 | #+HTML_HEAD: }); |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
702 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
703 | #+HTML_HEAD: var url = document.location.href; |
32 | 704 | #+HTML_HEAD: var orgsource = url.substring(0, url.lastIndexOf("."))+".org"; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
705 | #+HTML_HEAD: function show_org_source(){ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
706 | #+HTML_HEAD: document.location.href = orgsource; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
707 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
708 | #+HTML_HEAD:</script> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
709 | #+BEGIN_EXPORT latex |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
710 | \newpage |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
711 | #+END_EXPORT |