aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/host.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 /host.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 'host.php')
-rw-r--r--host.php5
1 files changed, 5 insertions, 0 deletions
diff --git a/host.php b/host.php
index f411b78..91e37f0 100644
--- a/host.php
+++ b/host.php
@@ -14,6 +14,11 @@ html_start();
14printf("<fieldset id=\"%s\">", htmlentities($host)); 14printf("<fieldset id=\"%s\">", htmlentities($host));
15printf("<legend>%s</legend>", htmlentities($host)); 15printf("<legend>%s</legend>", htmlentities($host));
16 16
17 echo <<<EOT
18<input type="checkbox" id="navicon" class="navicon" />
19<label for="navicon"></label>
20
21EOT;
17 22
18if (!strlen($host) || !$plugins = collectd_plugins($host)) { 23if (!strlen($host) || !$plugins = collectd_plugins($host)) {
19 echo "Unknown host\n"; 24 echo "Unknown host\n";