Skip to content

Commit f19b1ec

Browse files
committed
Add syntax highlighting
1 parent e34f643 commit f19b1ec

File tree

3 files changed

+159
-0
lines changed

3 files changed

+159
-0
lines changed

css/syntax.css

+157
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,157 @@
1+
/* HTMLIZE: Syntax Highlighting */
2+
3+
/* Treat source block's overflow */
4+
.src {
5+
overflow: auto !important;
6+
max-height: 40em;
7+
}
8+
9+
10+
/* The following was directly copied from read-the-org theme by Fabrice Niessen. */
11+
/* You'll find the full theme in https://github.com/fniessen/org-html-themes. */
12+
13+
.org-bold { /* bold */ font-weight: bold; }
14+
.org-bold-italic { /* bold-italic */ font-weight: bold; font-style: italic; }
15+
.org-buffer-menu-buffer { /* buffer-menu-buffer */ font-weight: bold; }
16+
.org-builtin { /* font-lock-builtin-face */ color: #7a378b; }
17+
.org-button { /* button */ text-decoration: underline; }
18+
.org-calendar-today { /* calendar-today */ text-decoration: underline; }
19+
.org-change-log-acknowledgement { /* change-log-acknowledgement */ color: #b22222; }
20+
.org-change-log-conditionals { /* change-log-conditionals */ color: #a0522d; }
21+
.org-change-log-date { /* change-log-date */ color: #8b2252; }
22+
.org-change-log-email { /* change-log-email */ color: #a0522d; }
23+
.org-change-log-file { /* change-log-file */ color: #0000ff; }
24+
.org-change-log-function { /* change-log-function */ color: #a0522d; }
25+
.org-change-log-list { /* change-log-list */ color: #a020f0; }
26+
.org-change-log-name { /* change-log-name */ color: #008b8b; }
27+
.org-comint-highlight-input { /* comint-highlight-input */ font-weight: bold; }
28+
.org-comint-highlight-prompt { /* comint-highlight-prompt */ color: #00008b; }
29+
.org-comment { /* font-lock-comment-face */ color: #999988; font-style: italic; }
30+
.org-comment-delimiter { /* font-lock-comment-delimiter-face */ color: #999988; font-style: italic; }
31+
.org-completions-annotations { /* completions-annotations */ font-style: italic; }
32+
.org-completions-common-part { /* completions-common-part */ color: #000000; background-color: #ffffff; }
33+
.org-completions-first-difference { /* completions-first-difference */ font-weight: bold; }
34+
.org-constant { /* font-lock-constant-face */ color: #008b8b; }
35+
.org-diary { /* diary */ color: #ff0000; }
36+
.org-diff-context { /* diff-context */ color: #7f7f7f; }
37+
.org-diff-file-header { /* diff-file-header */ background-color: #b3b3b3; font-weight: bold; }
38+
.org-diff-function { /* diff-function */ background-color: #cccccc; }
39+
.org-diff-header { /* diff-header */ background-color: #cccccc; }
40+
.org-diff-hunk-header { /* diff-hunk-header */ background-color: #cccccc; }
41+
.org-diff-index { /* diff-index */ background-color: #b3b3b3; font-weight: bold; }
42+
.org-diff-nonexistent { /* diff-nonexistent */ background-color: #b3b3b3; font-weight: bold; }
43+
.org-diff-refine-change { /* diff-refine-change */ background-color: #d9d9d9; }
44+
.org-dired-directory { /* dired-directory */ color: #0000ff; }
45+
.org-dired-flagged { /* dired-flagged */ color: #ff0000; font-weight: bold; }
46+
.org-dired-header { /* dired-header */ color: #228b22; }
47+
.org-dired-ignored { /* dired-ignored */ color: #7f7f7f; }
48+
.org-dired-mark { /* dired-mark */ color: #008b8b; }
49+
.org-dired-marked { /* dired-marked */ color: #ff0000; font-weight: bold; }
50+
.org-dired-perm-write { /* dired-perm-write */ color: #b22222; }
51+
.org-dired-symlink { /* dired-symlink */ color: #a020f0; }
52+
.org-dired-warning { /* dired-warning */ color: #ff0000; font-weight: bold; }
53+
.org-doc { /* font-lock-doc-face */ color: #8b2252; }
54+
.org-escape-glyph { /* escape-glyph */ color: #a52a2a; }
55+
.org-file-name-shadow { /* file-name-shadow */ color: #7f7f7f; }
56+
.org-flyspell-duplicate { /* flyspell-duplicate */ color: #cdad00; font-weight: bold; text-decoration: underline; }
57+
.org-flyspell-incorrect { /* flyspell-incorrect */ color: #ff4500; font-weight: bold; text-decoration: underline; }
58+
.org-fringe { /* fringe */ background-color: #f2f2f2; }
59+
.org-function-name { /* font-lock-function-name-face */ color: teal; }
60+
.org-header-line { /* header-line */ color: #333333; background-color: #e5e5e5; }
61+
.org-help-argument-name { /* help-argument-name */ font-style: italic; }
62+
.org-highlight { /* highlight */ background-color: #b4eeb4; }
63+
.org-holiday { /* holiday */ background-color: #ffc0cb; }
64+
.org-isearch { /* isearch */ color: #b0e2ff; background-color: #cd00cd; }
65+
.org-isearch-fail { /* isearch-fail */ background-color: #ffc1c1; }
66+
.org-italic { /* italic */ font-style: italic; }
67+
.org-keyword { /* font-lock-keyword-face */ color: #0086b3; }
68+
.org-lazy-highlight { /* lazy-highlight */ background-color: #afeeee; }
69+
.org-link { /* link */ color: #0000ff; text-decoration: underline; }
70+
.org-link-visited { /* link-visited */ color: #8b008b; text-decoration: underline; }
71+
.org-log-edit-header { /* log-edit-header */ color: #a020f0; }
72+
.org-log-edit-summary { /* log-edit-summary */ color: #0000ff; }
73+
.org-log-edit-unknown-header { /* log-edit-unknown-header */ color: #b22222; }
74+
.org-match { /* match */ background-color: #ffff00; }
75+
.org-next-error { /* next-error */ background-color: #eedc82; }
76+
.org-nobreak-space { /* nobreak-space */ color: #a52a2a; text-decoration: underline; }
77+
.org-org-archived { /* org-archived */ color: #7f7f7f; }
78+
.org-org-block { /* org-block */ color: #7f7f7f; }
79+
.org-org-block-begin-line { /* org-block-begin-line */ color: #b22222; }
80+
.org-org-block-end-line { /* org-block-end-line */ color: #b22222; }
81+
.org-org-checkbox { /* org-checkbox */ font-weight: bold; }
82+
.org-org-checkbox-statistics-done { /* org-checkbox-statistics-done */ color: #228b22; font-weight: bold; }
83+
.org-org-checkbox-statistics-todo { /* org-checkbox-statistics-todo */ color: #ff0000; font-weight: bold; }
84+
.org-org-clock-overlay { /* org-clock-overlay */ background-color: #ffff00; }
85+
.org-org-code { /* org-code */ color: #7f7f7f; }
86+
.org-org-column { /* org-column */ background-color: #e5e5e5; }
87+
.org-org-column-title { /* org-column-title */ background-color: #e5e5e5; font-weight: bold; text-decoration: underline; }
88+
.org-org-date { /* org-date */ color: #a020f0; text-decoration: underline; }
89+
.org-org-document-info { /* org-document-info */ color: #191970; }
90+
.org-org-document-info-keyword { /* org-document-info-keyword */ color: #7f7f7f; }
91+
.org-org-document-title { /* org-document-title */ color: #191970; font-size: 144%; font-weight: bold; }
92+
.org-org-done { /* org-done */ color: #228b22; font-weight: bold; }
93+
.org-org-drawer { /* org-drawer */ color: #0000ff; }
94+
.org-org-ellipsis { /* org-ellipsis */ color: #b8860b; text-decoration: underline; }
95+
.org-org-footnote { /* org-footnote */ color: #a020f0; text-decoration: underline; }
96+
.org-org-formula { /* org-formula */ color: #b22222; }
97+
.org-org-headline-done { /* org-headline-done */ color: #bc8f8f; }
98+
.org-org-hide { /* org-hide */ color: #ffffff; }
99+
.org-org-latex-and-export-specials { /* org-latex-and-export-specials */ color: #8b4513; }
100+
.org-org-level-1 { /* org-level-1 */ color: #0000ff; }
101+
.org-org-level-2 { /* org-level-2 */ color: #a0522d; }
102+
.org-org-level-3 { /* org-level-3 */ color: #a020f0; }
103+
.org-org-level-4 { /* org-level-4 */ color: #b22222; }
104+
.org-org-level-5 { /* org-level-5 */ color: #228b22; }
105+
.org-org-level-6 { /* org-level-6 */ color: #008b8b; }
106+
.org-org-level-7 { /* org-level-7 */ color: #7a378b; }
107+
.org-org-level-8 { /* org-level-8 */ color: #8b2252; }
108+
.org-org-link { /* org-link */ color: #0000ff; text-decoration: underline; }
109+
.org-org-meta-line { /* org-meta-line */ color: #b22222; }
110+
.org-org-mode-line-clock { /* org-mode-line-clock */ color: #000000; background-color: #bfbfbf; }
111+
.org-org-mode-line-clock-overrun { /* org-mode-line-clock-overrun */ color: #000000; background-color: #ff0000; }
112+
.org-org-quote { /* org-quote */ color: #7f7f7f; }
113+
.org-org-scheduled { /* org-scheduled */ color: #006400; }
114+
.org-org-scheduled-previously { /* org-scheduled-previously */ color: #b22222; }
115+
.org-org-scheduled-today { /* org-scheduled-today */ color: #006400; }
116+
.org-org-sexp-date { /* org-sexp-date */ color: #a020f0; }
117+
.org-org-special-keyword { /* org-special-keyword */ color: #a020f0; }
118+
.org-org-table { /* org-table */ color: #0000ff; }
119+
.org-org-tag { /* org-tag */ font-weight: bold; }
120+
.org-org-target { /* org-target */ text-decoration: underline; }
121+
.org-org-time-grid { /* org-time-grid */ color: #b8860b; }
122+
.org-org-todo { /* org-todo */ color: #ff0000; font-weight: bold; }
123+
.org-org-upcoming-deadline { /* org-upcoming-deadline */ color: #b22222; }
124+
.org-org-verbatim { /* org-verbatim */ color: #7f7f7f; }
125+
.org-org-verse { /* org-verse */ color: #7f7f7f; }
126+
.org-org-warning { /* org-warning */ color: #ff0000; font-weight: bold; }
127+
.org-outline-1 { /* outline-1 */ color: #0000ff; }
128+
.org-outline-2 { /* outline-2 */ color: #a0522d; }
129+
.org-outline-3 { /* outline-3 */ color: #a020f0; }
130+
.org-outline-4 { /* outline-4 */ color: #b22222; }
131+
.org-outline-5 { /* outline-5 */ color: #228b22; }
132+
.org-outline-6 { /* outline-6 */ color: #008b8b; }
133+
.org-outline-7 { /* outline-7 */ color: #7a378b; }
134+
.org-outline-8 { /* outline-8 */ color: #8b2252; }
135+
.org-preprocessor { /* font-lock-preprocessor-face */ color: #7a378b; }
136+
.org-query-replace { /* query-replace */ color: #b0e2ff; background-color: #cd00cd; }
137+
.org-regexp-grouping-backslash { /* font-lock-regexp-grouping-backslash */ font-weight: bold; }
138+
.org-regexp-grouping-construct { /* font-lock-regexp-grouping-construct */ font-weight: bold; }
139+
.org-region { /* region */ background-color: #eedc82; }
140+
.org-secondary-selection { /* secondary-selection */ background-color: #ffff00; }
141+
.org-shadow { /* shadow */ color: #7f7f7f; }
142+
.org-show-paren-match { /* show-paren-match */ background-color: #40e0d0; }
143+
.org-show-paren-mismatch { /* show-paren-mismatch */ color: #ffffff; background-color: #a020f0; }
144+
.org-string { /* font-lock-string-face */ color: #dd1144; }
145+
.org-tool-bar { /* tool-bar */ color: #000000; background-color: #bfbfbf; }
146+
.org-tooltip { /* tooltip */ color: #000000; background-color: #ffffe0; }
147+
.org-trailing-whitespace { /* trailing-whitespace */ background-color: #ff0000; }
148+
.org-type { /* font-lock-type-face */ color: #228b22; }
149+
.org-underline { /* underline */ text-decoration: underline; }
150+
.org-variable-name { /* font-lock-variable-name-face */ color: teal; }
151+
.org-warning { /* font-lock-warning-face */ color: #ff0000; font-weight: bold; }
152+
.org-widget-button { /* widget-button */ font-weight: bold; }
153+
.org-widget-button-pressed { /* widget-button-pressed */ color: #ff0000; }
154+
.org-widget-documentation { /* widget-documentation */ color: #006400; }
155+
.org-widget-field { /* widget-field */ background-color: #d9d9d9; }
156+
.org-widget-inactive { /* widget-inactive */ color: #7f7f7f; }
157+
.org-widget-single-line-field { /* widget-single-line-field */ background-color: #d9d9d9; }

org-theme/setup/long.setup

+1
Original file line numberDiff line numberDiff line change
@@ -21,4 +21,5 @@
2121
# theme.json before building it.
2222
#
2323
#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="/org-theme/dist/long/bundle.min.css"/>
24+
#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="/css/syntax.css" />
2425
#+HTML_HEAD: <script src="/org-theme/dist/long/bundle.min.js" type="text/javascript" ></script>

org-theme/setup/short.setup

+1
Original file line numberDiff line numberDiff line change
@@ -18,4 +18,5 @@
1818
#
1919
#
2020
#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="/org-theme/dist/short/bundle.min.css"/>
21+
#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="/css/syntax.css" />
2122
#+HTML_HEAD: <script src="/org-theme/dist/short/bundle.min.js" type="text/javascript" ></script>

0 commit comments

Comments
 (0)