Add RSS feed, and improve CSS.
treec6e17f1e5054edf03829d34f4375f690787fcdcf
-rw-r--r-- 99 .gitignore
-rw-r--r-- 95 .gitmodules
-rw-r--r-- 146 common-footer.xml
-rw-r--r-- 292 common-meta.xml
-rw-r--r-- 911 common.css
-rw-r--r-- 139 index.css
-rw-r--r-- 4204 index.xhtml
-rw-r--r-- 3109 mini-vignette.png
-rw-r--r-- 22381 mini-vignette.svg
-rw-r--r-- 1140 news.xhtml
drwxr-xr-x - news
-rw-r--r-- 18318 vignette.png
-rw-r--r-- 20982 vignette.svg
m--------- - xhtml-compiler