mirror of https://github.com/seL4/docs.git
8095d010fa
Code highlight blocks have the form <div class="higlight"><pre><code>... (wrapped in another div that specifies the language). The copy-button insertion relies on the presence of the <div>. The previous CSS selector was too loose for that, it allowed the <pre> to be a direct descendant of any <div> at any position, so it could be <div> <p>..</p> etc <pre><code> which does happen when the syntax highlighter does not recognise the language that is passed in from the code block (```lang). This means only code blocks with recognised language will have a copy button. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems> |
||
|---|---|---|
| .. | ||
| css | ||
| js | ||
| 404.html | ||
| favicon.ico | ||
| favicon.ico.license | ||
| logo-sel4-docs.svg | ||
| logo-sel4-docs.svg.license | ||
| logo-text-white.svg | ||
| logo-text-white.svg.license | ||
| sitemap.md | ||
