A simple rounded counter

counter [ class "foo" ] 10

It displays the number n within a circle

Safely creates a link

External urls append a target:blank_ that forces the navigator to open then in a different tab.

Renders a list of strings as tags

Main title of page

Main container element for page content.

Render a list of a's as an <ul> element.

It uses the first argument to convert a's to Html's.

list text [] [ "foo", "bar", "baz" ]

Render a list of (url, name) pairs as an <ul> element.

If the list is empty, it produces a div [] [ text fallback ]

Create a description list from a list of titles and their corresponding Html content.

A string that can be used as a placeholder for unloaded data

A string that can be used as a placeholder for unloaded data

A string that can be used as a placeholder for unloaded data