<div> spoiler for uniformal.github.io breaks layout a bit, document usage - Githubissues

UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 23 forks source link

<div> spoiler for uniformal.github.io breaks layout a bit, document usage #456

Open ComFreek opened 5 years ago

ComFreek commented 5 years ago

[ ] Using <div class="detail"> results in a misplacement of the Note button, see https://uniformal.github.io/doc/applications/intellij.html#using-the-generalizer for a demo.
[ ] Document usage of <div class="detail", especially one needs to leave newlines in front of it and after it as follows:

**This is a Markdown file. Leave a newline in the next line.**

<div class="detail"><pre>your code...
multiline possibly
and more
this is the end</pre></div>

**Next markdown begins only after a newline, i.e. here!**

cc'ing @tkw1536 as dicussed.