summaryrefslogtreecommitdiffstats
path: root/web/input/resources/plugins.css
AgeCommit message (Expand)AuthorFilesLines
2023-02-02Fix dark theme background color of menu on mobileHolger Weiss1-21/+22
2023-02-02resources/plugins.css: Fix indentationHolger Weiss1-72/+72
2023-02-02Revert to Source Sans ProHolger Weiss1-17/+17
2023-02-02Add an initial dark themeHolger Weiss1-0/+19
2023-02-02Self-host the web fontsHolger Weiss1-6/+124
2022-11-04Don't include remote Google fontsHolger Weiss1-3/+5
2014-02-16development.md: Replace inline HTMLHolger Weiss1-0/+4
2014-01-14Rename Nagios Plugins to Monitoring PluginsHolger Weiss1-1/+1
2013-12-06plugins.css: Don't underline /download/ linksHolger Weiss1-10/+19
2013-10-28Show a usable menu on handheld devicesHolger Weiss1-0/+33
2013-10-27Don't tell browsers to hyphenate textHolger Weiss1-5/+0
2013-10-27Work around a Chrome glitchHolger Weiss1-3/+3
2013-10-20plugins.css: Remove superfluous propertyHolger Weiss1-1/+0
2013-10-20Fix commentHolger Weiss1-2/+1
2013-10-15Move feed icons into the menu barHolger Weiss1-25/+9
2013-10-15Make sure IE draws no border around GitHub ribbonHolger Weiss1-1/+1
2013-10-15Clean up web site CSS fileHolger Weiss1-26/+20
2013-10-14Use smaller RSS and Twitter iconsHolger Weiss1-7/+5
2013-10-14Add a "Follow us!" box with RSS and Twitter iconsHolger Weiss1-3/+41
2013-10-13Add an actual News pageHolger Weiss1-0/+6
2013-10-06Rename /media directory to /resourcesHolger Weiss1-0/+134