aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/detail.php
diff options
context:
space:
mode:
authorPim van den Berg2015-05-16 16:37:53 +0200
committerPim van den Berg2015-06-21 18:06:05 +0200
commit727ed753a9c540c71f00bafa6e43ad4cb42321f2 (patch)
tree2c0b44a62ec658de5ec4b891d72492024189fcf8 /detail.php
parentresponsive: make the host page look nice on all media (diff)
downloadapt-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 'detail.php')
-rw-r--r--detail.php6
1 files changed, 6 insertions, 0 deletions
diff --git a/detail.php b/detail.php
index 8978350..3cd7155 100644
--- a/detail.php
+++ b/detail.php
@@ -30,6 +30,12 @@ html_start();
30printf('<fieldset id="%s">', htmlentities($host)); 30printf('<fieldset id="%s">', htmlentities($host));
31printf('<legend>%s</legend>', htmlentities($host)); 31printf('<legend>%s</legend>', htmlentities($host));
32 32
33 echo <<<EOT
34<input type="checkbox" id="navicon" class="navicon" />
35<label for="navicon"></label>
36
37EOT;
38
33if (!$plugins = collectd_plugins($host)) { 39if (!$plugins = collectd_plugins($host)) {
34 echo "Unknown host\n"; 40 echo "Unknown host\n";
35 return false; 41 return false;