From e3468ac10e93423583e3a297915f1f6faec10e0e Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Fri, 5 Feb 2016 14:09:15 +0100
Subject: Use relative font sizes everywhere

---
 css/codeq.css | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/css/codeq.css b/css/codeq.css
index 1775c84..e9e55a0 100644
--- a/css/codeq.css
+++ b/css/codeq.css
@@ -6,10 +6,27 @@
 
 */
 
+html {
+    font-size: medium;
+}
+
 body {
+    font-size: 1em;
     padding-top: 50px;
 }
 
+.btn {
+    font-size: 1em;
+}
+
+code {
+    font-size: 1em;
+}
+
+pre {
+    font-size: 1em;
+}
+
 .title {
     /*color: whitesmoke;*/
     /*margin-left: 5px;*/
@@ -125,7 +142,6 @@ div.vertical-line{
 /* console */
 .block > .console {
     background: #222;
-    font-size: 14px;
     padding: 0.5em;
     min-height: 8em;
 }
-- 
cgit v1.2.1