From e1397b0d80f71df25574e2d5561b43a0c86a5acc Mon Sep 17 00:00:00 2001
From: Bart Polot <bart@net.in.tum.de>
Date: Wed, 19 Feb 2014 20:02:17 +0000
Subject: - reduce button size

---
 contrib/log.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/contrib/log.php b/contrib/log.php
index 049addf66..0eee5bcaa 100644
--- a/contrib/log.php
+++ b/contrib/log.php
@@ -142,6 +142,10 @@ if ($start !== null || $stop !== null) {
       position: fixed;
       top: 0px;
     }
+    .btn-xs {
+      font-size: 9px;
+      padding: 0 5px;
+    }
     .level {
       display: none;
     }
-- 
cgit v1.2.3