summaryrefslogtreecommitdiffhomepage
path: root/doc/web
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2018-11-25 15:26:44 +0000
committerjao <jao@gnu.org>2018-11-25 15:26:44 +0000
commitf86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07 (patch)
treeba34733d783dfcb65234ed835deac13a9a9c100e /doc/web
parentb12fe3ebdaf3a4a539b85f742a582925d7e811f1 (diff)
downloadxmobar-f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07.tar.gz
xmobar-f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07.tar.bz2
doc, examples
Diffstat (limited to 'doc/web')
-rw-r--r--doc/web/Makefile32
-rw-r--r--doc/web/xmobar-sawfish.pngbin0 -> 9924 bytes
-rw-r--r--doc/web/xmobar-xmonad.pngbin0 -> 490277 bytes
-rw-r--r--doc/web/xmobar.css88
4 files changed, 120 insertions, 0 deletions
diff --git a/doc/web/Makefile b/doc/web/Makefile
new file mode 100644
index 0000000..411f589
--- /dev/null
+++ b/doc/web/Makefile
@@ -0,0 +1,32 @@
+index.src = ../readme.md
+index = readme.md
+releases = ../news.md
+css = xmobar.css
+images = xmobar-sawfish.png xmobar-xmonad.png
+remote = community.haskell.org:/srv/projects/xmobar/
+htmls = index.html releases.html
+title = % xmobar - a minimalistic status bar
+
+default: index.html
+
+$(index): $(index.src)
+ @tail -n+3 $(index.src) | sed "1s/^/$(title)\n/" > $(index)
+
+index.html: releases.html $(index) $(css)
+ pandoc -f markdown -t html -c $(css) --toc -N -s \
+ $(index) > index.html
+
+releases.html: $(releases) $(css)
+ pandoc -f markdown -t html -c $(css) -s \
+ $(releases) > releases.html
+
+upload-images:
+ rsync -zav $(images) $(remote)
+
+upload-pages: $(htmls)
+ scp $(htmls) $(css) $(remote)
+
+upload: upload-images upload-pages
+
+clean:
+ rm -f $(htmls) $(index)
diff --git a/doc/web/xmobar-sawfish.png b/doc/web/xmobar-sawfish.png
new file mode 100644
index 0000000..13c236e
--- /dev/null
+++ b/doc/web/xmobar-sawfish.png
Binary files differ
diff --git a/doc/web/xmobar-xmonad.png b/doc/web/xmobar-xmonad.png
new file mode 100644
index 0000000..3a3160e
--- /dev/null
+++ b/doc/web/xmobar-xmonad.png
Binary files differ
diff --git a/doc/web/xmobar.css b/doc/web/xmobar.css
new file mode 100644
index 0000000..54a44c6
--- /dev/null
+++ b/doc/web/xmobar.css
@@ -0,0 +1,88 @@
+body {
+ margin: auto;
+ padding-right: 1em;
+ padding-left: 1em;
+ max-width: 75%;
+ border-left: 1px solid black;
+ border-right: 1px solid black;
+ color: black;
+ font-family: Verdana, sans-serif;
+ font-size: 100%;
+ line-height: 140%;
+ color: #333;
+}
+pre {
+ border: 1px dotted gray;
+ background-color: #efebe7;
+ color: #111111;
+ padding: 0.5em;
+}
+code {
+ font-family: monospace;
+ font-size: 110%;
+}
+h1 a, h2 a, h3 a, h4 a, h5 a {
+ text-decoration: none;
+ color: #009900;
+}
+h1, h2, h3, h4, h5 { font-family: verdana;
+ font-weight: bold;
+ color: #000000; }
+h1 {
+ font-size: 130%;
+}
+
+h2 {
+ font-size: 110%;
+ border-bottom: 1px dotted black;
+}
+
+h3 {
+ font-size: 95%;
+}
+
+h4 {
+ font-size: 90%;
+ font-style: italic;
+}
+
+h5 {
+ font-size: 90%;
+ font-style: italic;
+}
+
+h1.title {
+ font-size: 150%;
+ font-weight: bold;
+ text-align: left;
+ border: none;
+}
+
+dt code {
+ font-weight: bold;
+}
+dd p {
+ margin-top: 0;
+}
+
+a:link {
+ color: #000036
+}
+
+a:visited {
+ color: #000000
+}
+a:hover {
+ color: #000046
+}
+a:active {
+ color: #000046
+}
+
+#footer {
+ padding-top: 1em;
+ font-size: 70%;
+ color: gray;
+ text-align: center;
+}
+