update styles

dolevf · Jun 12, 2022 · d76dcb5 · d76dcb5
1 parent 3bedc59
commit d76dcb5
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 10 deletions.
diff --git a/static/assets/favicon.ico b/static/assets/favicon.ico
diff --git a/templates/index.html b/templates/index.html
@@ -39,10 +39,10 @@
 
 <div class="container-fluid">
 <div class="row">
-    <div class="col-md-8">
+    <div class="col-md-7">
         <div class="well">
             <div class="form-group">
-                <label for="policy-area"><b>Policy</b></label>
+                <label for="policy-area"><b>POLICY</b></label>
                 <div id="editor"># Alfred v.{{app_version}}
 
 # Welcome to OPA Alfred! The reasonably usable self-hosted alternative to OPA's Playground
@@ -60,12 +60,12 @@
           </div>
         </div>
     </div>
-    <div class="col-md-4">
+    <div class="col-md-5">
         <div class="row">
             <div class="col-md-12">
                 <div class="well">
                     <div class="form-group">
-                        <label for="input-area"><b>Input</b></label>
+                        <label for="input-area"><b>INPUT</b></label>
                         <div id="editorinput">{"message":"Hello World!!!"}</div>
                       </div>
                 </div>
@@ -75,7 +75,7 @@
             <div class="col-md-12">
                 <div class="well">
                     <div class="form-group">
-                        <label for="data-area"><b>Data</b></label>
+                        <label for="data-area"><b>DATA</b></label>
                         <div id="editordata"></div>
                       </div>
                 </div>
@@ -85,7 +85,7 @@
             <div class="col-md-12">
                 <div class="well">
                     <div class="form-group">
-                        <label for="result-area"><b>Result</b> <span id="query_eval_ns" style="color:rgb(107, 101, 101); font-size: x-small; font-style: italic;"></span></label>
+                        <label for="result-area"><b>OUTPUT</b> <span id="query_eval_ns" style="color:rgb(107, 101, 101); font-size: x-small; font-style: italic;"></span></label>
                         <div id="editorresult"></div>
                       </div>
                 </div>
@@ -122,23 +122,23 @@
     // Fonts
     editor.setOptions({
         fontFamily: "Roboto Mono",
-        fontSize: "11pt"
+        fontSize: "10pt"
     });
 
     editorinput.setOptions({
         fontFamily: "Roboto Mono",
-        fontSize: "11pt",
+        fontSize: "10pt",
         wrap: false
     });
 
     editordata.setOptions({
         fontFamily: "Roboto Mono",
-        fontSize: "11pt"
+        fontSize: "10pt"
     });
 
     editorresult.setOptions({
         fontFamily: "Roboto Mono",
-        fontSize: "11pt"
+        fontSize: "10pt"
     });
 
 </script>