diff options
author | Pim van den Berg | 2015-05-16 16:37:53 +0200 |
---|---|---|
committer | Pim van den Berg | 2015-06-21 18:06:05 +0200 |
commit | 727ed753a9c540c71f00bafa6e43ad4cb42321f2 (patch) | |
tree | 2c0b44a62ec658de5ec4b891d72492024189fcf8 /host.php | |
parent | responsive: make the host page look nice on all media (diff) | |
download | apt-panopticon_cgp-727ed753a9c540c71f00bafa6e43ad4cb42321f2.zip apt-panopticon_cgp-727ed753a9c540c71f00bafa6e43ad4cb42321f2.tar.gz apt-panopticon_cgp-727ed753a9c540c71f00bafa6e43ad4cb42321f2.tar.bz2 apt-panopticon_cgp-727ed753a9c540c71f00bafa6e43ad4cb42321f2.tar.xz |
responsive: introduce a hamburger navicon to toggle the menu on smaller devices
Diffstat (limited to 'host.php')
-rw-r--r-- | host.php | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -14,6 +14,11 @@ html_start(); | |||
14 | printf("<fieldset id=\"%s\">", htmlentities($host)); | 14 | printf("<fieldset id=\"%s\">", htmlentities($host)); |
15 | printf("<legend>%s</legend>", htmlentities($host)); | 15 | printf("<legend>%s</legend>", htmlentities($host)); |
16 | 16 | ||
17 | echo <<<EOT | ||
18 | <input type="checkbox" id="navicon" class="navicon" /> | ||
19 | <label for="navicon"></label> | ||
20 | |||
21 | EOT; | ||
17 | 22 | ||
18 | if (!strlen($host) || !$plugins = collectd_plugins($host)) { | 23 | if (!strlen($host) || !$plugins = collectd_plugins($host)) { |
19 | echo "Unknown host\n"; | 24 | echo "Unknown host\n"; |