index
:
site
master
Web Site and Infrastructure
Monitoring Plugins
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
web
/
input
/
resources
Age
Commit message (
Expand
)
Author
Files
Lines
2023-02-03
Remove twitter icon
Jan Wagner
1
-0/+0
2023-02-02
Adding Mastodon icon with link
Jan Wagner
1
-0/+0
2023-02-02
Fix dark theme background color of menu on mobile
Holger Weiss
1
-21/+22
2023-02-02
resources/plugins.css: Fix indentation
Holger Weiss
1
-72/+72
2023-02-02
Revert to Source Sans Pro
Holger Weiss
17
-17/+17
2023-02-02
Add an initial dark theme
Holger Weiss
1
-0/+19
2023-02-02
Self-host the web fonts
Holger Weiss
25
-6/+124
2022-11-04
Don't include remote Google fonts
Holger Weiss
1
-3/+5
2014-02-16
development.md: Replace inline HTML
Holger Weiss
1
-0/+4
2014-01-14
Rename Nagios Plugins to Monitoring Plugins
Holger Weiss
1
-1/+1
2013-12-06
plugins.css: Don't underline /download/ links
Holger Weiss
1
-10/+19
2013-10-28
Show a usable menu on handheld devices
Holger Weiss
1
-0/+33
2013-10-27
Don't tell browsers to hyphenate text
Holger Weiss
1
-5/+0
2013-10-27
Work around a Chrome glitch
Holger Weiss
1
-3/+3
2013-10-20
plugins.css: Remove superfluous property
Holger Weiss
1
-1/+0
2013-10-20
Fix comment
Holger Weiss
1
-2/+1
2013-10-15
New feed icons
Holger Weiss
2
-0/+0
2013-10-15
Move feed icons into the menu bar
Holger Weiss
1
-25/+9
2013-10-15
Make sure IE draws no border around GitHub ribbon
Holger Weiss
1
-1/+1
2013-10-15
Clean up web site CSS file
Holger Weiss
1
-26/+20
2013-10-14
Use smaller RSS and Twitter icons
Holger Weiss
3
-7/+5
2013-10-14
Add a "Follow us!" box with RSS and Twitter icons
Holger Weiss
3
-3/+41
2013-10-13
Add an actual News page
Holger Weiss
1
-0/+6
2013-10-06
Rename /media directory to /resources
Holger Weiss
3
-0/+134