summaryrefslogtreecommitdiffstats
path: root/web/input/resources/plugins.css
AgeCommit message (Collapse)AuthorFilesLines
2023-02-02Fix dark theme background color of menu on mobileHolger Weiss1-21/+22
With the dark theme on small displayes, use a dark background for the menu as well.
2023-02-02resources/plugins.css: Fix indentationHolger Weiss1-72/+72
2023-02-02Revert to Source Sans ProHolger Weiss1-17/+17
Source Sans 3 doesn't quite do the trick for our layout.
2023-02-02Add an initial dark themeHolger Weiss1-0/+19
A proper dark theme would need more work, though.
2023-02-02Self-host the web fontsHolger Weiss1-6/+124
While at it, switch from Source Sans Pro to Source Sans 3, see: https://blog.adobe.com/en/publish/2020/11/30/whats-new-in-source-sans-3
2022-11-04Don't include remote Google fontsHolger Weiss1-3/+5
We should include a local copy instead. For the moment, just do without those fonts. See: Landgericht München, Az.: 3 O 17493/20.
2014-02-16development.md: Replace inline HTMLHolger Weiss1-0/+4
Replace HTML code with Markdown syntax.
2014-01-14Rename Nagios Plugins to Monitoring PluginsHolger Weiss1-1/+1
This is a first step of replacing the name "Nagios Plugins" with "Monitoring Plugins" where appriopriate. Some news items and FAQ entries are also created or updated. More to come.
2013-12-06plugins.css: Don't underline /download/ linksHolger Weiss1-10/+19
2013-10-28Show a usable menu on handheld devicesHolger Weiss1-0/+33
On narrow displays, replace the menu bar with a simple list of items, and omit the GitHub ribbon.
2013-10-27Don't tell browsers to hyphenate textHolger Weiss1-5/+0
The hyphenation support in current browser versions isn't all that good. As the text lines on our web site are long (actually too long), there's no need for hyphenation anyway.
2013-10-27Work around a Chrome glitchHolger Weiss1-3/+3
When setting "padding: 0.6em" for the menu elements, certain versions of Chrome and WebKitGTK+ render the light blue menu item a tad larger than the rest of the menu bar. (This only happened when the site was accessed for the first time. Reloading the current page or following a link to another document on the Nagios Plugins site fixed the issue.) Using 0.625em works around this problem. Note that the issue is not related to using the "em" unit: It also shows up when specifying 9.6px (and is fixed by specifying 10px).
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-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 Weiss1-7/+5
... and make sure the images are positioned properly.
2013-10-14Add a "Follow us!" box with RSS and Twitter iconsHolger Weiss1-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 Weiss1-0/+134
This is just cosmetics.