aboutsummaryrefslogtreecommitdiffstats
path: root/webface
diff options
context:
space:
mode:
Diffstat (limited to 'webface')
-rw-r--r--webface/templates/base.html1
-rw-r--r--webface/templates/model_view.html28
2 files changed, 26 insertions, 3 deletions
diff --git a/webface/templates/base.html b/webface/templates/base.html
index 65dafa3..231dfd9 100644
--- a/webface/templates/base.html
+++ b/webface/templates/base.html
@@ -8,6 +8,7 @@ html, body, div{ margin: 0; padding: 0; }
body { font-family: monospace; font-size: larger; line-height: 1.3; }
#content { max-width: 700px; margin: 0 auto; margin-top: 4em; }
</style>
+{{~#block head}}{{/block~}}
</head>
<body>
diff --git a/webface/templates/model_view.html b/webface/templates/model_view.html
index 4218f11..7b8a64d 100644
--- a/webface/templates/model_view.html
+++ b/webface/templates/model_view.html
@@ -1,3 +1,16 @@
+{{# partial head}}
+<link href="/static/katex-0.7.0/katex.min.css" rel="stylesheet">
+<script src="/static/katex-0.7.0/katex.min.js"></script>
+<script src="/static/katex-0.7.0/contrib/auto-render.min.js"></script>
+
+<script>
+ document.addEventListener("DOMContentLoaded", function() {
+ renderMathInElement(document.body);
+ });
+</script>
+{{/partial}}
+
+
{{# partial content}}
<h1 style="margin-bottom: 0.1em;">
<a href="/m/{{namespace}}/" style="color: black; text-decoration: none;">
@@ -10,16 +23,25 @@
<a href="markdown/">markdown</a> -
<a href="raw/">modelica</a> -
<a href="repr/?format=scheme">scheme</a> -
-<a href="repr/?format=javascript">javascript</a>
+<a href="repr/?format=javascript">javascript</a> -
+<a href="repr/?format=latex">latex</a>
</span>
<p><i style="color: #222222;">{{ model_description }}</i>
<br><br>
+
+{{# if latex }}
+<div style="margin-left: 0.25em; border-left: 4px solid #BBBBBB; padding: 0.5em;" id="model_latex">
+$${{ latex }}$$
+</div>
+{{/if}}
+
+{{{ markdown_html }}}
+
+<h2>Modelica Code</h2>
<pre style="margin-left: 0.25em; border-left: 4px solid #BBBBBB; padding: 0.5em;">
{{ modelica }}</pre>
<br>
-{{{ markdown_html }}}
-
{{/partial}}
{{~> base.html~}}