summaryrefslogtreecommitdiffstats
path: root/web/input/resources
AgeCommit message (Collapse)AuthorFilesLines
2013-10-20plugins.css: Remove superfluous propertyHolger Weiss1-1/+0
The foreground color is black by default.
2013-10-20Fix commentHolger Weiss1-2/+1
We don't have the "RSS and Twitter box" (which had a gray background) anymore.
2013-10-15New feed iconsHolger Weiss2-0/+0
Use RSS and Twitter icons from <http://www.designdeck.co.uk/a/1239>.
2013-10-15Move feed icons into the menu barHolger Weiss1-25/+9
Move the RSS and Twitter buttons into the (right edge of the) menu bar.
2013-10-15Make sure IE draws no border around GitHub ribbonHolger Weiss1-1/+1
Apply the CSS settings for the GitHub ribbon to the <img> tag, not to the sorrounding <div>.
2013-10-15Clean up web site CSS fileHolger Weiss1-26/+20
This commit just move the CSS directives around, it doesn't change them.
2013-10-14Use smaller RSS and Twitter iconsHolger Weiss3-7/+5
... and make sure the images are positioned properly.
2013-10-14Add a "Follow us!" box with RSS and Twitter iconsHolger Weiss3-3/+41
Replace the Twitter button at the bottom of our web pages with a "Follow us!" box on the right side. The icons were downloaded from: http://vervex.deviantart.com/art/Somacro-40-300DPI-Social-Media-Icons-267955425
2013-10-13Add an actual News pageHolger Weiss1-0/+6
Initial support for News pages had been committed already, this commit completes that support and adds an actual News page. News pages (with up to ten articles) are auto-created from any pages that have the "date" attribute set.
2013-10-06Rename /media directory to /resourcesHolger Weiss3-0/+134
This is just cosmetics.