2023-10-28 00:12:56 +00:00
|
|
|
{@select key=list_type}
|
2023-10-28 00:18:19 +00:00
|
|
|
{@eq value="unordered"}<li>{#.children}{>element/}{/.children}</li>{/eq}
|
|
|
|
|
{@eq value="ordered"}<li>{#.children}{>element/}{/.children}</li>{/eq}
|
|
|
|
|
{@eq value="descriptive"}<dt>{#.tag}{>object/}{/.tag}</dt><dd>{#.children}{>element/}{/.children}</dd>{/eq}
|
2023-10-28 00:12:56 +00:00
|
|
|
{@none}{!TODO: make this panic!}ERROR: Unrecognized list type {.list_type}.{/none}
|
|
|
|
|
{/select}
|
