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 /detail.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 '')
| -rw-r--r-- | detail.php | 6 |
1 files changed, 6 insertions, 0 deletions
| @@ -30,6 +30,12 @@ html_start(); | |||
| 30 | printf('<fieldset id="%s">', htmlentities($host)); | 30 | printf('<fieldset id="%s">', htmlentities($host)); |
| 31 | printf('<legend>%s</legend>', htmlentities($host)); | 31 | printf('<legend>%s</legend>', htmlentities($host)); |
| 32 | 32 | ||
| 33 | echo <<<EOT | ||
| 34 | <input type="checkbox" id="navicon" class="navicon" /> | ||
| 35 | <label for="navicon"></label> | ||
| 36 | |||
| 37 | EOT; | ||
| 38 | |||
| 33 | if (!$plugins = collectd_plugins($host)) { | 39 | if (!$plugins = collectd_plugins($host)) { |
| 34 | echo "Unknown host\n"; | 40 | echo "Unknown host\n"; |
| 35 | return false; | 41 | return false; |
