Actualizar plugin Additionals a 3.0.0

2020-11-22 21:30:25 +01:00 · 2020-11-22 21:30:25 +01:00 · a26f5567af
commit a26f5567af
parent 3d976f1b3b
399 changed files with 70374 additions and 4093 deletions
--- a/plugins/additionals/assets/javascripts/mermaid_load.js
+++ b/plugins/additionals/assets/javascripts/mermaid_load.js
@ -1,3 +1,5 @@
 $(function() {
-  mermaid.initialize({ startOnLoad: true });
+  mermaid.initialize({ startOnLoad: true,
+                       theme: 'default',
+                       themeVariables: { 'fontSize': '12px' } });
 });