Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

web generation files added

  • Loading branch information...
commit f17f51e55209fb829337b7275c66fd577ab53982 1 parent 66b5339
@jaor jaor authored
View
2  .gitignore
@@ -6,3 +6,5 @@
/src/IWlib.hs
/src/StatFS.hs
/src/XUtil.hs
+/web/index.html
+/web/releases.html
View
25 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)
View
BIN  web/xmobar-sawfish.png
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
BIN  web/xmobar-xmonad.png
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
88 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;
+}
+
Please sign in to comment.
Something went wrong with that request. Please try again.