diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | web/Makefile | 25 | ||||
| -rw-r--r-- | web/xmobar-sawfish.png | bin | 0 -> 9924 bytes | |||
| -rw-r--r-- | web/xmobar-xmonad.png | bin | 0 -> 490277 bytes | |||
| -rw-r--r-- | web/xmobar.css | 88 |
5 files changed, 115 insertions, 0 deletions
@@ -6,3 +6,5 @@ /src/IWlib.hs /src/StatFS.hs /src/XUtil.hs +/web/index.html +/web/releases.html diff --git a/web/Makefile b/web/Makefile new file mode 100644 index 0000000..6f807e9 --- /dev/null +++ b/web/Makefile @@ -0,0 +1,25 @@ +index = ../README +releases = ../NEWS +css = xmobar.css +images = xmobar-sawfish.png xmobar-xmonad.png +remote = community.haskell.org:/srv/projects/xmobar/ +htmls = index.html releases.html + +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) + rsync -zav $(htmls) $(css) $(remote) + +upload: upload-images upload-pages + +clean: + rm -f $(htmls) diff --git a/web/xmobar-sawfish.png b/web/xmobar-sawfish.png Binary files differnew file mode 100644 index 0000000..13c236e --- /dev/null +++ b/web/xmobar-sawfish.png diff --git a/web/xmobar-xmonad.png b/web/xmobar-xmonad.png Binary files differnew file mode 100644 index 0000000..3a3160e --- /dev/null +++ b/web/xmobar-xmonad.png diff --git a/web/xmobar.css b/web/xmobar.css new file mode 100644 index 0000000..54a44c6 --- /dev/null +++ b/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; +} + |
