changeset 33: | a32a0d49a5f7 |
parent: | a76ad7f46abf |
child: | f2ac93310bfc |
author: | Richard Westhaver <ellis@rwest.io> |
date: | Sat, 08 Jun 2024 00:23:41 -0400 |
permissions: | -rw-r--r-- |
description: | clean.theme upgrades |
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)}}} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
5 | #+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
6 | #+BIND: org-html-self-link-headlines t |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
7 | #+HTML_DOCTYPE: html5 |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
8 | # #+HTML_LINK_HOME: rwest.io |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
9 | #+LATEX_HEADER: \usepackage{placeins} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
10 | #+LATEX_HEADER: \usepackage{parskip} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
11 | #+LATEX_HEADER: \usepackage{xcolor} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
12 | #+LATEX_HEADER: \PassOptionsToPackage{hyperref,x11names}{xcolor} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
13 | #+LATEX_HEADER: \usepackage{tocloft} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
14 | #+LATEX_HEADER: \usepackage[margin=2cm]{geometry} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
15 | #+COMMENT: #+ODT_STYLES_FILE: ~/org/ox/odt-theme.xml |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
16 | #+LATEX_HEADER: \renewcommand{\cftsecleader}{\cftdotfill{\cftdotsep}} |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
17 | #+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
|
18 | |
32 | 19 | #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/css/htmlize.css" /> |
20 | ||
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
21 | #+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
|
22 | #+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
|
23 | #+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
|
24 | |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
25 | #+HTML_HEAD: <style type="text/css"> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
26 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
27 | #+HTML_HEAD: *, |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
28 | #+HTML_HEAD: *::before, |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
29 | #+HTML_HEAD: *::after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
30 | #+HTML_HEAD: box-sizing: border-box; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
31 | #+HTML_HEAD: margin: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
32 | #+HTML_HEAD: padding: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
33 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
34 | #+HTML_HEAD: :root { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
35 | #+HTML_HEAD: --text: #111; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
36 | #+HTML_HEAD: --middle: #555; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
37 | #+HTML_HEAD: --bg: #aaa; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
38 | #+HTML_HEAD: --max-width: 54ch; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
39 | #+HTML_HEAD: font-size: 16px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
40 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
41 | #+HTML_HEAD: /* @media (prefers-color-scheme: dark) { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
42 | #+HTML_HEAD: :root { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
43 | #+HTML_HEAD: --text: #aaa; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
44 | #+HTML_HEAD: --middle: #555; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
45 | #+HTML_HEAD: --bg: #111; |
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: } */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
48 | #+HTML_HEAD: * { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
49 | #+HTML_HEAD: -webkit-box-sizing: border-box; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
50 | #+HTML_HEAD: -moz-box-sizing: border-box; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
51 | #+HTML_HEAD: box-sizing: border-box; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
52 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
53 | #+HTML_HEAD: body { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
54 | #+HTML_HEAD: font-family: "CommitMono", monospace; |
32 | 55 | #+HTML_HEAD: font-size: 14px; |
56 | # #+HTML_HEAD: -webkit-font-smoothing: antialiased; |
|
57 | # #+HTML_HEAD: -moz-osx-font-smoothing: grayscale; |
|
58 | # #+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
|
59 | #+HTML_HEAD: color: #EFFAF9; |
33 | 60 | #+HTML_HEAD: background-color: #0C0F0A; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
61 | #+HTML_HEAD: } |
32 | 62 | |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
63 | #+HTML_HEAD: div.status { |
32 | 64 | # #+HTML_HEAD: position: fixed; |
65 | # #+HTML_HEAD: margin: 0.2em; |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
66 | #+HTML_HEAD: text-align: center; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
67 | #+HTML_HEAD: } |
32 | 68 | |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
69 | #+HTML_HEAD: h1, h2, h3, h4, h5, h6 { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
70 | #+HTML_HEAD: position: relative; |
32 | 71 | #+HTML_HEAD: margin: 16px 0 8px; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
72 | #+HTML_HEAD: font-weight: bold; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
73 | #+HTML_HEAD: line-height: 1.1; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
74 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
75 | #+HTML_HEAD: text-rendering: optimizeLegibility; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
76 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
77 | #+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
|
78 | #+HTML_HEAD: position: absolute; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
79 | #+HTML_HEAD: top: auto; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
80 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
81 | #+HTML_HEAD: display: none; |
32 | 82 | #+HTML_HEAD: text-align: left; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
83 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
84 | #+HTML_HEAD: h1:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
85 | #+HTML_HEAD: content: ""; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
86 | #+HTML_HEAD: left: -1.25em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
87 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
88 | #+HTML_HEAD: h2:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
89 | #+HTML_HEAD: content: "*"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
90 | #+HTML_HEAD: left: -2em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
91 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
92 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
93 | #+HTML_HEAD: h3:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
94 | #+HTML_HEAD: content: "**"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
95 | #+HTML_HEAD: left: -2em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
96 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
97 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
98 | #+HTML_HEAD: h4:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
99 | #+HTML_HEAD: content: "***"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
100 | #+HTML_HEAD: left: -3em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
101 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
102 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
103 | #+HTML_HEAD: h5:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
104 | #+HTML_HEAD: content: "****"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
105 | #+HTML_HEAD: left: -3em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
106 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
107 | #+HTML_HEAD: h6:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
108 | #+HTML_HEAD: content: "*****"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
109 | #+HTML_HEAD: left: -4em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
110 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
111 | #+HTML_HEAD: i, em, b, strong { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
112 | #+HTML_HEAD: padding-left: .1em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
113 | #+HTML_HEAD: padding-right: .1em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
114 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
115 | #+HTML_HEAD: b, strong { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
116 | #+HTML_HEAD: font-weight: bold; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
117 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
118 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
119 | #+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
|
120 | #+HTML_HEAD: content: "*"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
121 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
122 | #+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
|
123 | #+HTML_HEAD: content: "/"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
124 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
125 | #+HTML_HEAD: hr { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
126 | #+HTML_HEAD: margin: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
127 | #+HTML_HEAD: border: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
128 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
129 | #+HTML_HEAD: hr: after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
130 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
131 | #+HTML_HEAD: margin: 20px 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
132 | #+HTML_HEAD: content: "----------------------------------------------------------------"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
133 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
134 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
135 | #+HTML_HEAD: ul, ol { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
136 | #+HTML_HEAD: padding: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
137 | #+HTML_HEAD: margin: 0 0 20px 20px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
138 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
139 | #+HTML_HEAD: code, pre { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
140 | #+HTML_HEAD: font-family: "3270", monospace; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
141 | #+HTML_HEAD: overflow: overlay; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
142 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
143 | #+HTML_HEAD: code { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
144 | #+HTML_HEAD: font-family: monospace; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
145 | #+HTML_HEAD: color: #EDF060; |
33 | 146 | #+HTML_HEAD: background-color: #303330; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
147 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
148 | #+HTML_HEAD: code:before, code:after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
149 | #+HTML_HEAD: content: "="; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
150 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
151 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
152 | #+HTML_HEAD: .src { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
153 | #+HTML_HEAD: font-family: monospace; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
154 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
155 | #+HTML_HEAD: p::after{ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
156 | #+HTML_HEAD: content: "\a\a"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
157 | #+HTML_HEAD: white-space: pre; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
158 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
159 | #+HTML_HEAD: pre { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
160 | #+HTML_HEAD: font-family: monospace; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
161 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
162 | #+HTML_HEAD: margin: 0 0 14px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
163 | #+HTML_HEAD: padding: 15px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
164 | #+HTML_HEAD: border-radius: 3px 3px 3px 3px; |
33 | 165 | #+HTML_HEAD: background-color: #303030; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
166 | # #+HTML_HEAD: word-break: break-all; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
167 | # #+HTML_HEAD: word-wrap: break-word; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
168 | #+HTML_HEAD: } |
33 | 169 | #+HTML_HEAD: |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
170 | #+HTML_HEAD: blockquote { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
171 | #+HTML_HEAD: padding: 0 0 0 20px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
172 | #+HTML_HEAD: margin: 0 30px 20px -22.5px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
173 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
174 | #+HTML_HEAD: border-left: 8px solid #e5e5e5; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
175 | #+HTML_HEAD: } |
33 | 176 | |
177 | #+HTML_HEAD: pre.example { |
|
178 | #+HTML_HEAD: border-left: 8px solid #493657; |
|
179 | #+HTML_HEAD: } |
|
180 | ||
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
181 | #+HTML_HEAD: blockquote p: last-child { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
182 | #+HTML_HEAD: margin-bottom: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
183 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
184 | #+HTML_HEAD: img { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
185 | #+COMMENT: #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
186 | #+HTML_HEAD: max-width: 100%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
187 | #+HTML_HEAD: height: auto; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
188 | #+HTML_HEAD: margin: auto; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
189 | #+HTML_HEAD: border-radius: 5px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
190 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
191 | #+HTML_HEAD: figure > object { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
192 | #+HTML_HEAD: height: auto; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
193 | #+HTML_HEAD: margin: auto; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
194 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
195 | #+HTML_HEAD: a { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
196 | #+HTML_HEAD: font-weight: inherit; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
197 | #+HTML_HEAD: line-height: inherit; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
198 | #+HTML_HEAD: color: #84DCC6; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
199 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
200 | #+HTML_HEAD: sup a:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
201 | #+HTML_HEAD: content: "["; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
202 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
203 | #+HTML_HEAD: sup a:after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
204 | #+HTML_HEAD: content: "]"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
205 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
206 | #+HTML_HEAD: a:hover { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
207 | #+HTML_HEAD: text-decorac: blink; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
208 | #+HTML_HEAD: color: #C43952; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
209 | #+HTML_HEAD: background-color: #222222; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
210 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
211 | #+HTML_HEAD: table { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
212 | #+HTML_HEAD: line-height: 1.8; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
213 | #+HTML_HEAD: margin-bottom: 15px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
214 | #+HTML_HEAD: max-width: 100%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
215 | #+HTML_HEAD: width: 100%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
216 | #+HTML_HEAD: border: 1px solid lightsteelblue; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
217 | #+HTML_HEAD: border-style: inset; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
218 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
219 | #+HTML_HEAD: table td, table th { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
220 | #+HTML_HEAD: padding: 0 15px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
221 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
222 | #+HTML_HEAD: table th.left, table td.left { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
223 | #+HTML_HEAD: text-align: left; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
224 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
225 | #+HTML_HEAD: table th.right, table td.right { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
226 | #+HTML_HEAD: text-align: right; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
227 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
228 | #+HTML_HEAD: td, th { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
229 | #+HTML_HEAD: border: 1px solid lightsteelblue; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
230 | #+HTML_HEAD: border-style: outset; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
231 | #+HTML_HEAD: } |
32 | 232 | |
31
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: body { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
235 | #+HTML_HEAD: margin: auto auto; |
32 | 236 | #+HTML_HEAD: max-width: 98%; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
237 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
238 | #+HTML_HEAD: /* head */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
239 | #+HTML_HEAD: .masthead { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
240 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
241 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
242 | #+HTML_HEAD: .masthead: after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
243 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
244 | #+HTML_HEAD: content: '----------------------------------------------------------------'; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
245 | #+HTML_HEAD: margin: 10px 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
246 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
247 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
248 | #+HTML_HEAD: .masthead a { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
249 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
250 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
251 | #+HTML_HEAD: .masthead ul { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
252 | #+HTML_HEAD: list-style: none; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
253 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
254 | #+HTML_HEAD: .masthead li { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
255 | #+HTML_HEAD: display: inline-block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
256 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
257 | #+HTML_HEAD: .masthead li + li:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
258 | #+HTML_HEAD: display: inline-block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
259 | #+HTML_HEAD: content: "\00B7 \00a0"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
260 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
261 | #+HTML_HEAD: } |
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: #searchform { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
264 | #+HTML_HEAD: position: absolute; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
265 | #+HTML_HEAD: top: 54px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
266 | #+HTML_HEAD: right: 30.4%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
267 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
268 | #+HTML_HEAD: #searchform #s { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
269 | #+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
|
270 | #+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
|
271 | #+HTML_HEAD: border: 1px solid #ddd; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
272 | #+HTML_HEAD: border-radius: 2px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
273 | #+HTML_HEAD: -moz-border-radius: 2px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
274 | #+HTML_HEAD: width: 90px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
275 | #+HTML_HEAD: height: 30px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
276 | #+HTML_HEAD: line-height: 12px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
277 | #+HTML_HEAD: padding: 4px 10px 4px 28px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
278 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
279 | #+HTML_HEAD: -webkit-transition-duration: 400ms; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
280 | #+HTML_HEAD: -webkit-transition-property: width, background; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
281 | #+HTML_HEAD: -webkit-transition-timing-function: ease; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
282 | #+HTML_HEAD: -moz-transition-duration: 400ms; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
283 | #+HTML_HEAD: -moz-transition-property: width, background; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
284 | #+HTML_HEAD: -moz-transition-timing-function: ease; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
285 | #+HTML_HEAD: -o-transition-duration: 400ms; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
286 | #+HTML_HEAD: -o-transition-property: width, background; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
287 | #+HTML_HEAD: -o-transition-timing-function: ease; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
288 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
289 | #+HTML_HEAD: #searchform #s: focus { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
290 | #+HTML_HEAD: background-color: #3F3F37; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
291 | #+HTML_HEAD: width: 160px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
292 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
293 | #+HTML_HEAD: .masthead img.avatar { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
294 | #+HTML_HEAD: position: relative; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
295 | #+HTML_HEAD: float: right; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
296 | #+HTML_HEAD: margin-top: -100px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
297 | #+HTML_HEAD: margin-bottom: -100%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
298 | #+HTML_HEAD: margin-right: 10%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
299 | #+HTML_HEAD: width: 200px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
300 | #+HTML_HEAD: background-color: #3F3F37; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
301 | #+HTML_HEAD: } |
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: .post { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
304 | #+HTML_HEAD: position: relative; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
305 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
306 | #+HTML_HEAD: .post: after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
307 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
308 | #+HTML_HEAD: content: "----------------------------------------------------------------"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
309 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
310 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
311 | #+HTML_HEAD: .post img { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
312 | #+HTML_HEAD: max-width: 100%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
313 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
314 | #+HTML_HEAD: .post li { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
315 | #+HTML_HEAD: list-style: none outside none; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
316 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
317 | #+HTML_HEAD: .post ul > li:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
318 | #+HTML_HEAD: content: "- "; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
319 | #+HTML_HEAD: margin-left: -1.25em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
320 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
321 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
322 | #+HTML_HEAD: .post ol { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
323 | #+HTML_HEAD: counter-reset: o-list; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
324 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
325 | #+HTML_HEAD: .post ol > li:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
326 | #+HTML_HEAD: content: counter(o-list) ") "; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
327 | #+HTML_HEAD: counter-increment: o-list; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
328 | #+HTML_HEAD: margin-left: -1.85em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
329 | #+HTML_HEAD: color: #EDF060; |
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
332 | #+HTML_HEAD: /* special for li in pre */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
333 | #+HTML_HEAD: .post pre li { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
334 | #+HTML_HEAD: font-family: monospace; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
335 | #+HTML_HEAD: list-style-type: decimal; |
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
338 | #+HTML_HEAD: .post pre li:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
339 | #+HTML_HEAD: display: none; |
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
342 | #+HTML_HEAD: /* meta info */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
343 | #+HTML_HEAD: .post-info { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
344 | #+HTML_HEAD: display: inline-block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
345 | #+HTML_HEAD: margin: -10px 0 -10px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
346 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
347 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
348 | #+HTML_HEAD: .post-info + .post-info:before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
349 | #+HTML_HEAD: content: "\2223 \00a0"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
350 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
351 | #+HTML_HEAD: .post-meta: after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
352 | #+HTML_HEAD: content: "----------------------------------------------------------------"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
353 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
354 | #+HTML_HEAD: margin-top: -1px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
355 | #+HTML_HEAD: color: #EDF060; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
356 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
357 | #+HTML_HEAD: |
32 | 358 | #+HTML_HEAD: /* nav */ |
33 | 359 | #+HTML_HEAD: div #nav { |
360 | #+HTML_HEAD: z-index: 10; |
|
361 | #+HTML_HEAD: top: 0.2em; |
|
362 | #+HTML_HEAD: left: 0.2em; |
|
32 | 363 | #+HTML_HEAD: text-align: left; |
364 | #+HTML_HEAD: font-size: 1.2rem; |
|
365 | #+HTML_HEAD: cursor: pointer; |
|
366 | #+HTML_HEAD: position: fixed; |
|
33 | 367 | #+HTML_HEAD: } |
368 | ||
369 | #+HTML_HEAD: div #nav h2 { |
|
370 | #+HTML_HEAD: margin: 0em; |
|
371 | #+HTML_HEAD: } |
|
372 | ||
373 | #+HTML_HEAD: #index { |
|
374 | #+HTML_HEAD: display: block; |
|
375 | #+HTML_HEAD: text-align: left; |
|
376 | #+HTML_HEAD: color: #DDCAD9; |
|
377 | #+HTML_HEAD: font-size: 48px; |
|
378 | #+HTML_HEAD: font-stretch: ultra-expanded; |
|
379 | #+HTML_HEAD: } |
|
380 | ||
381 | #+HTML_HEAD: div #text-index { |
|
382 | #+HTML_HEAD: color: #EDF060; |
|
383 | #+HTML_HEAD: display: none; |
|
384 | #+HTML_HEAD: text-align: left; |
|
32 | 385 | #+HTML_HEAD: backdrop-filter: blur(6px); |
386 | #+HTML_HEAD: } |
|
387 | ||
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
388 | #+HTML_HEAD: /* table of content */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
389 | #+HTML_HEAD: #table-of-contents { |
32 | 390 | #+HTML_HEAD: cursor: pointer; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
391 | #+HTML_HEAD: position: fixed; |
32 | 392 | #+HTML_HEAD: right: 0.2em; |
393 | #+HTML_HEAD: top: 0.2em; |
|
394 | # #+HTML_HEAD: border: 1px solid #e1e1e8; |
|
395 | # #+HTML_HEAD: -webkit-box-shadow: 0 0 1em #777777; |
|
396 | # #+HTML_HEAD: -moz-box-shadow: 0 0 1em #777777; |
|
397 | # #+HTML_HEAD: -webkit-border-bottom-left-radius: 5px; |
|
398 | # #+HTML_HEAD: -moz-border-radius-bottomleft: 5px; |
|
399 | #+HTML_HEAD: text-align: right; |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
400 | #+HTML_HEAD: /* ensure doesn't flow off the screen when expanded */ |
32 | 401 | #+HTML_HEAD: height: auto; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
402 | #+HTML_HEAD: overflow: auto; |
33 | 403 | #+HTML_HEAD: z-index: 8; |
31
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
406 | #+HTML_HEAD: #table-of-contents h2 { |
33 | 407 | #+HTML_HEAD: margin: 0em; |
32 | 408 | #+HTML_HEAD: font-size: 48px; |
33 | 409 | # #+HTML_HEAD: font-stretch: ultra-expanded; |
31
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
412 | #+HTML_HEAD: #table-of-contents ul { |
32 | 413 | #+HTML_HEAD: margin-left: 14pt; |
414 | #+HTML_HEAD: margin-bottom: 10pt; |
|
415 | #+HTML_HEAD: padding: 0 |
|
31
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
418 | #+HTML_HEAD: #table-of-contents li { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
419 | #+HTML_HEAD: padding: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
420 | #+HTML_HEAD: margin: 1px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
421 | #+HTML_HEAD: list-style: none; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
422 | #+HTML_HEAD: } |
32 | 423 | |
424 | #+HTML_HEAD: #table-of-contents li a { |
|
425 | #+HTML_HEAD: font-size: 16px; |
|
31
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
428 | #+HTML_HEAD: #table-of-contents #text-table-of-contents { |
32 | 429 | #+HTML_HEAD: backdrop-filter: blur(6px); |
430 | #+HTML_HEAD: display: none; |
|
431 | #+HTML_HEAD: text-align: left; |
|
432 | #+HTML_HEAD: padding-right: 0.1em; |
|
31
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
435 | #+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
|
436 | #+HTML_HEAD: display: block; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
437 | #+HTML_HEAD: padding: 0.5em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
438 | #+HTML_HEAD: margin-top: -1.5em; |
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: |
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: .footer { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
443 | #+HTML_HEAD: margin: 80px 0 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
444 | #+HTML_HEAD: text-align: center; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
445 | #+HTML_HEAD: font-size: 13px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
446 | #+HTML_HEAD: color: #DDCAD9; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
447 | #+HTML_HEAD: left: 0em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
448 | #+HTML_HEAD: bottom: 0em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
449 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
450 | #+HTML_HEAD: .footer > p { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
451 | #+HTML_HEAD: margin: 0; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
452 | #+HTML_HEAD: line-height: 1.5; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
453 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
454 | #+HTML_HEAD: .footpara { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
455 | #+HTML_HEAD: display: inline; |
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
458 | #+HTML_HEAD: /* Responsive |
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
461 | #+HTML_HEAD: @media (min-width: 768px) { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
462 | #+HTML_HEAD: /* Increase body padding and font-sizes */ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
463 | #+HTML_HEAD: body { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
464 | #+HTML_HEAD: padding: 2em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
465 | #+HTML_HEAD: max-width: 70%; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
466 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
467 | #+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
|
468 | #+HTML_HEAD: display: inline; |
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 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
472 | |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
473 | # custom |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
474 | #+HTML_HEAD: .subtitle { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
475 | #+HTML_HEAD: text-align: center; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
476 | #+HTML_HEAD: color: red; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
477 | #+HTML_HEAD: font-weight: bold; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
478 | #+HTML_HEAD: font-size: 1.1em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
479 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
480 | #+HTML_HEAD: .tag::before { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
481 | #+HTML_HEAD: content: ":"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
482 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
483 | #+HTML_HEAD: .tag::after { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
484 | #+HTML_HEAD: content: ":"; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
485 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
486 | #+HTML_HEAD: .tag { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
487 | #+HTML_HEAD: float: right; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
488 | #+HTML_HEAD: color: #8A7090; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
489 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
490 | #+HTML_HEAD: h3 .tag { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
491 | #+HTML_HEAD: right: 0px; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
492 | #+HTML_HEAD: position: absolute; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
493 | #+HTML_HEAD: color: lightpink; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
494 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
495 | #+HTML_HEAD: .org-center { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
496 | #+HTML_HEAD: text-align: center; |
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: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
499 | #+HTML_HEAD: .outline-2, .outline-3, .outline-4, .outline-5 { |
32 | 500 | # #+HTML_HEAD: padding-left: 1em; |
501 | #+HTML_HEAD: } |
|
502 | ||
503 | #+HTML_HEAD: .outline-2 { |
|
504 | #+HTML_HEAD: padding-top: 1.8em; |
|
505 | #+HTML_HEAD: } |
|
506 | ||
507 | #+HTML_HEAD: .org-dl { |
|
508 | #+HTML_HEAD: |
|
509 | #+HTML_HEAD: } |
|
510 | ||
511 | #+HTML_HEAD: .org-dl dt { |
|
512 | #+HTML_HEAD: font-weight: bold; |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
513 | #+HTML_HEAD: } |
32 | 514 | |
515 | #+HTML_HEAD: .org-dl dt::after { |
|
516 | #+HTML_HEAD: content: " :: "; |
|
517 | #+HTML_HEAD: } |
|
518 | ||
519 | #+HTML_HEAD: .org-dl dd::before { |
|
520 | #+HTML_HEAD: font-size: xx-large; |
|
521 | #+HTML_HEAD: content: " ↳ "; |
|
522 | #+HTML_HEAD: } |
|
523 | ||
524 | #+HTML_HEAD: .org-dl dd { |
|
525 | #+HTML_HEAD: font-size: 0.9rem; |
|
526 | #+HTML_HEAD: margin-bottom: 0.5em; |
|
527 | #+HTML_HEAD: margin-left: 2em; |
|
528 | #+HTML_HEAD: } |
|
529 | ||
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
530 | #+HTML_HEAD: .title { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
531 | #+HTML_HEAD: text-align: center; |
32 | 532 | #+HTML_HEAD: padding-top: 1.8em; |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
533 | #+HTML_HEAD: } |
32 | 534 | |
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
535 | #+HTML_HEAD: .status { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
536 | #+HTML_HEAD: position: absolute; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
537 | #+HTML_HEAD: left: 1em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
538 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
539 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
540 | #+HTML_HEAD: div #footnotes { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
541 | #+HTML_HEAD: padding-bottom: 1em; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
542 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
543 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
544 | #+HTML_HEAD: </style> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
545 | #+HTML_HEAD:<script type="text/javascript"> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
546 | #+HTML_HEAD: document.addEventListener('DOMContentLoaded',function() { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
547 | #+HTML_HEAD: document.getElementById("table-of-contents").onclick = function() { |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
548 | #+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
|
549 | #+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
|
550 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
551 | #+HTML_HEAD: }); |
33 | 552 | #+HTML_HEAD: document.addEventListener('DOMContentLoaded',function() { |
553 | #+HTML_HEAD: document.getElementById("nav").onclick = function() { |
|
554 | #+HTML_HEAD: var elem = document.getElementById("text-index"); |
|
555 | #+HTML_HEAD: elem.style.display = elem.style.display == "block" ? "none" : "block"; |
|
556 | #+HTML_HEAD: } |
|
557 | #+HTML_HEAD: }); |
|
31
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
558 | #+HTML_HEAD: |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
559 | #+HTML_HEAD: var url = document.location.href; |
32 | 560 | #+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
|
561 | #+HTML_HEAD: function show_org_source(){ |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
562 | #+HTML_HEAD: document.location.href = orgsource; |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
563 | #+HTML_HEAD: } |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
564 | #+HTML_HEAD:</script> |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
565 | #+BEGIN_EXPORT latex |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
566 | \newpage |
3e9582fc5d82
add back clean.theme for now
Richard Westhaver <ellis@rwest.io>
parents:
diff
changeset
|
567 | #+END_EXPORT |