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 /web | |
parent | b12fe3ebdaf3a4a539b85f742a582925d7e811f1 (diff) | |
download | xmobar-f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07.tar.gz xmobar-f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07.tar.bz2 |
doc, examples
Diffstat (limited to 'web')
-rw-r--r-- | web/Makefile | 32 | ||||
-rw-r--r-- | web/xmobar-sawfish.png | bin | 9924 -> 0 bytes | |||
-rw-r--r-- | web/xmobar-xmonad.png | bin | 490277 -> 0 bytes | |||
-rw-r--r-- | web/xmobar.css | 88 |
4 files changed, 0 insertions, 120 deletions
diff --git a/web/Makefile b/web/Makefile deleted file mode 100644 index 411f589..0000000 --- a/web/Makefile +++ /dev/null @@ -1,32 +0,0 @@ -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/web/xmobar-sawfish.png b/web/xmobar-sawfish.png Binary files differdeleted file mode 100644 index 13c236e..0000000 --- a/web/xmobar-sawfish.png +++ /dev/null diff --git a/web/xmobar-xmonad.png b/web/xmobar-xmonad.png Binary files differdeleted file mode 100644 index 3a3160e..0000000 --- a/web/xmobar-xmonad.png +++ /dev/null diff --git a/web/xmobar.css b/web/xmobar.css deleted file mode 100644 index 54a44c6..0000000 --- a/web/xmobar.css +++ /dev/null @@ -1,88 +0,0 @@ -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; -} - |