Use relative font sizes everywhere

1 files changed, 17 insertions, 1 deletions

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;
 }