Improve result layout in web interface (#610)

ultimate-pa · Apr 21, 2023 · 3d475c3 · 3d475c3
1 parent 9f5d86a
commit 3d475c3
Show file tree

Hide file tree

Showing 5 changed files with 20 additions and 17 deletions.
diff --git a/trunk/source/WebsiteStatic/bootstrap_dev/scss/main.scss b/trunk/source/WebsiteStatic/bootstrap_dev/scss/main.scss
@@ -55,6 +55,8 @@ $border-radius-lg: 0px !default;
 $border-radius-sm: 0px !default;
 $card-inner-border-radius: 0px !default;
 
+$toast-max-width: 100%;
+
 .text-black-70 {
   color: $gray-700 !important;
 }

diff --git a/trunk/source/WebsiteStatic/css/bootstrap.min.css b/trunk/source/WebsiteStatic/css/bootstrap.min.css
diff --git a/trunk/source/WebsiteStatic/css/bootstrap.min.css.map b/trunk/source/WebsiteStatic/css/bootstrap.min.css.map
diff --git a/trunk/source/WebsiteStatic/css/editor.css b/trunk/source/WebsiteStatic/css/editor.css
@@ -15,23 +15,27 @@
   white-space: nowrap;
 }
 
-.toast {
-  max-width: 100%;
-}
-
 #messages {
   overflow: auto;
   flex-flow: column;
   flex-shrink: 1;
   flex-grow: 0;
-  flex-basis: 400px;
+  flex-basis: 30%;
   z-index: 4;
 }
 
 .oi{
   top: 0;
 }
 
+.mr-1 {
+  margin-right: .5rem !important;
+}
+
+.number{
+  width: 50px;
+}
+
 .messages-actions {
   cursor: pointer;
 }

diff --git a/trunk/source/WebsiteStatic/index.html b/trunk/source/WebsiteStatic/index.html
@@ -44,38 +44,35 @@
     <div class="toast-header">
       <span class="oi mr-1 {{oi_icon}}"></span>
       <strong class="mr-auto">{{shortDesc}}</strong>
-      <small>{{type}}</small>
-      <button type="button" class="ml-2 mb-1 close" data-dismiss="toast" aria-label="Close">
-        <span aria-hidden="true">&times;</span>
       </button>
     </div>
     <div class="toast-body">
       <div class="row">
-        <div class="col-1">
+        <div class="number">
           <span>Line</span>
         </div>
-        <div class="col-1">
+        <div class="number">
           <span>Col</span>
         </div>
-        <div class="col-10">
+        <div class="col">
           <span>Description</span>
         </div>
       </div>
       <hr>
       <div class="row">
-        <div class="col-1">
+        <div class="number">
           <span>
   			{{#ifCond startLNr '!==' -1}}{{startLNr}}{{/ifCond}}
             {{#ifCond startLNr '===' -1}}-{{/ifCond}}
   		  </span>
         </div>
-        <div class="col-1">
+        <div class="number">
           <span>
             {{#ifCond startCol '!==' -1}}{{startCol}}{{/ifCond}}
             {{#ifCond startCol '===' -1}}-{{/ifCond}}
           </span>
         </div>
-        <div class="col-10">
+        <div class="col">
           <pre><code class="text-break break-spaces">{{longDesc}}</code></pre>
         </div>
       </div>
@@ -85,7 +82,7 @@
 	<script id="tool-interface-template" type="text/x-handlebars-template">
   <div id="editor" class="flex-grow-1 flex-shrink-1"></div>
   <div id="messages" class="bg-light border-top top-shaddow p-1">
-    <div class="btn col-12 float-right">
+    <div class="text-end">
       <span id="move-messages" class="oi oi-collapse-right pr-1 float-right messages-actions close"></span>
     </div>
     <div id="messages-toasts"></div>