$(function() {
  mermaid.initialize({ startOnLoad: true,
                       theme: 'default',
                       themeVariables: { 'fontSize': '12px' } });
});