Updated play

ppaulweber · ppaulweber · commit 6ecab2336989 · 2018-11-02T14:23:23.000+01:00
diff --git a/play.org b/play.org
@@ -1,3 +1,6 @@
+#+options: toc:nil
+
+#+begin_html
 <html>
     <div id="casm-lang-plugin-monaco">
       <div id="casm-lang-plugin-monaco-editor" style="width: 100%; height: 480px; border: none;">
@@ -14,3 +17,4 @@
       </div>
     </div>
 </html>
+#+end_html
