new simple theme done

3 files changed, 63 insertions, 2 deletions

diff --git a/extras/html/themes/minimal/style.css b/extras/html/themes/minimal/style.css
deleted file mode 100644
index 8b13789..0000000
--- a/extras/html/themes/minimal/style.css
+++ /dev/null
@@ -1 +0,0 @@
-
diff --git a/extras/html/themes/simple/style.css b/extras/html/themes/simple/style.css
new file mode 100644
index 0000000..b5eb9b5
--- /dev/null
+++ b/extras/html/themes/simple/style.css
@@ -0,0 +1,62 @@
+body {
+    font-family: sans-serif;
+    max-width: 1024px;
+}
+
+a {
+    font-family: courier, monospace;
+    text-decoration: none;
+    color: #0e0e0e;
+}
+
+h1, h2, h3 {
+    font-family: serif;
+}
+
+a:hover {
+    text-decoration: underline;
+}
+
+a.textlink:before {
+    content: "⇒ ";
+    padding-left: 11px;
+}
+
+.quote {
+    font-style: italic;
+}
+
+.quote:before {
+    content: "« ";
+    padding-left: 2px;
+}
+
+.quote:after {
+    content: " »";
+    padding-right: 2px;
+}
+
+ul {
+    list-style: none;
+    margin: 0 0 0 0;
+}
+
+li:before {
+    content: "★";
+    padding-right: 5px;
+}
+
+img {
+    max-width: 90%;
+}
+
+pre {
+    font-family: courier, monospace;
+    background: #1e1e1e;
+    padding: 20px;
+    color: #ffffff;
+}
+
+span.inlinecode {
+    font-family: courier, monospace;
+}
diff --git a/extras/html/themes/minimal/theme.conf b/extras/html/themes/simple/theme.conf
index abb446f..10b056e 100644
--- a/extras/html/themes/minimal/theme.conf
+++ b/extras/html/themes/simple/theme.conf
@@ -1,4 +1,4 @@
 declare -xr HTML_HEADER=./extras/html/header.html.part
 declare -xr HTML_FOOTER=./extras/html/footer.html.part
-declare -xr HTML_CSS_STYLE=./extras/html/themes/minimal/style.css
+declare -xr HTML_CSS_STYLE=$HTML_THEME_DIR/style.css
 declare -xr SOURCE_HIGHLIGHT_CSS=./extras/html/source-highlight-styles/sh_vampire.css