1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
<head>
<script src="../widget/_helpers/tools.js"></script>
</head>
<body>
<div id="downcast-php">
<pre>
<code class="language-php">
//foobar
</code>
</pre>
</div>
<div id="downcast-html">
<pre>
<code class="language-css">.foo > a{ text-decoration: none; }</code>
</pre>
</div>
<div id="downcast-unknown">
<pre>
<code>Unknown lang codesnippet</code>
</pre>
</div>
<div id="downcast-pre-only">
<pre>Pre tag with no code</pre>
</div>
<div id="downcast-code-only">
<p><code>Code tag</code></p>
</div>
</body>
|
