small styling fixes

src/public/stylesheets/style.css

@@ -477,10 +477,12 @@ div.ui-tooltip {
     overflow: auto;
     /* limiting the size since actual note content is more important */
     max-height: 30%;
+    flex-shrink: 0;
+    flex-basis: 2em;
 }
 
 #label-list, #relation-list, #attribute-list {
-    color: #777777;
+    color: var(--muted-text-color);
     padding: 5px;
     display: none;
 }
@@ -595,8 +597,12 @@ button.icon-button {
     max-width: 100%;
 }
 
+pre {
+    color: var(--main-text-color) !important;
+}
+
 #file-preview-content {
-    background-color: #f6f6f6;
+    background-color: var(--accented-background-color);
     padding: 15px;
     max-width: 600px;
     max-height: 300px;
@@ -796,7 +802,7 @@ div[data-notify="container"] {
     right: 10px;
     top: -7px;
     font-size: 150%;
-    color: #777;
+    color: var(--main-text-color);
     z-index: 100;
 }
 
@@ -833,7 +839,7 @@ div[data-notify="container"] {
 
     margin: var(--ck-spacing-large) 0;
 
-    color: #aaa;
+    color: var(--muted-text-color);
 }
 
 .fancytree-loading span.fancytree-expander {

src/services/consistency_checks.js

@@ -457,7 +457,7 @@ sqlInit.dbReady.then(() => {
     setInterval(cls.wrap(runChecks), 60 * 60 * 1000);
 
     // kickoff checks soon after startup (to not block the initial load)
-    setTimeout(cls.wrap(runChecks), 0);
+    setTimeout(cls.wrap(runChecks), 10 * 1000);
 });
 
 module.exports = {};

src/views/details/file.ejs

@@ -23,7 +23,7 @@
             </td>
         </tr>
         <tr>
-            <td>
+            <td colspan="2">
                 <button id="file-download" class="btn btn-primary" type="button">Download</button>
                 &nbsp;
                 <button id="file-open" class="btn btn-primary" type="button">Open</button>