Merge branch 'staging' into mute

2019-12-16 14:43:14 +01:00
parent b5193914e3 89e08704e5
commit 47128802a2
35 changed files with 1014 additions and 143 deletions
--- a/www/code/inner.js
+++ b/www/code/inner.js
@@ -131,7 +131,7 @@ define([
            if (['markdown', 'gfm'].indexOf(CodeMirror.highlightMode) === -1) { return; }
            if (!$previewButton.is('.cp-toolbar-button-active')) { return; }
            forceDrawPreview();
-        }, 150);
+        }, 400);

        var previewTo;
        $previewButton.click(function () {
--- a/www/code/mermaid.css
+++ b/www/code/mermaid.css
@@ -121,6 +121,10 @@ text.actor {
  font-size: 11px;
  text-height: 14px;
 }
+.sectionTitle, .titleText {
+    font-weight: bold;
+}
+
 /* Grid and axis */
 .grid .tick {
  stroke: lightgrey;