2023-12-19 20:45:03 -05:00
|
|
|
<div class="src_block">
|
2023-12-21 12:07:36 -05:00
|
|
|
{?.language}<div class="src_language">{.language}</div>{/.language}
|
|
|
|
|
<table class="src_body">
|
2023-12-19 20:45:03 -05:00
|
|
|
<tbody>
|
|
|
|
|
{#.lines}
|
|
|
|
|
<tr>
|
2025-02-22 16:13:23 -05:00
|
|
|
<td>{#.children}{@select key=.type}
|
|
|
|
|
{@eq value="raw_text"}<code class="src_line">{.content}</code>{/eq}
|
|
|
|
|
{@eq value="highlight_start"}<span class="srchl_{.name}">{/eq}
|
|
|
|
|
{@eq value="highlight_end"}</span>{/eq}
|
|
|
|
|
{@none}{!TODO: make this panic!}ERROR: Unrecognized type {.type}.{/none}
|
|
|
|
|
{/select}{/.children}</td>
|
2023-12-19 20:45:03 -05:00
|
|
|
</tr>
|
|
|
|
|
{/.lines}
|
|
|
|
|
</tbody>
|
|
|
|
|
</table>
|
|
|
|
|
</div>
|
