diff options
author | jao <jao@gnu.org> | 2018-11-25 15:26:44 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2018-11-25 15:26:44 +0000 |
commit | f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07 (patch) | |
tree | ba34733d783dfcb65234ed835deac13a9a9c100e /doc/web | |
parent | b12fe3ebdaf3a4a539b85f742a582925d7e811f1 (diff) | |
download | xmobar-f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07.tar.gz xmobar-f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07.tar.bz2 |
doc, examples
Diffstat (limited to 'doc/web')
-rw-r--r-- | doc/web/Makefile | 32 | ||||
-rw-r--r-- | doc/web/xmobar-sawfish.png | bin | 0 -> 9924 bytes | |||
-rw-r--r-- | doc/web/xmobar-xmonad.png | bin | 0 -> 490277 bytes | |||
-rw-r--r-- | doc/web/xmobar.css | 88 |
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 Binary files differnew file mode 100644 index 0000000..13c236e --- /dev/null +++ b/doc/web/xmobar-sawfish.png diff --git a/doc/web/xmobar-xmonad.png b/doc/web/xmobar-xmonad.png Binary files differnew file mode 100644 index 0000000..3a3160e --- /dev/null +++ b/doc/web/xmobar-xmonad.png 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; +} + |