2023-10-28 00:12:56 +00:00
|
|
|
{@select key=.list_type}
|
2023-12-21 20:31:13 +00:00
|
|
|
{@eq value="unordered"}<ul class="plain_list unordered">{#.children}{>plain_list_item/}{/.children}</ul>{/eq}
|
|
|
|
|
{@eq value="ordered"}<ol class="plain_list ordered">{#.children}{>plain_list_item/}{/.children}</ol>{/eq}
|
|
|
|
|
{@eq value="descriptive"}<dl class="plain_list descriptive">{#.children}{>plain_list_item/}{/.children}</dl>{/eq}
|
2023-10-28 00:12:56 +00:00
|
|
|
{@none}{!TODO: make this panic!}ERROR: Unrecognized list type {.list_type}.{/none}
|
|
|
|
|
{/select}
|
