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-15
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-14
Add an actual News page
Holger Weiss
1
-0
/
+6
2013-10-06
Rename /media directory to /resources
Holger Weiss
3
-0
/
+134