Merge branch '25-typesetting-clocks-and-theorems' into 'master'

Resolve "typesetting blocks and theorems"

Closes #25

See merge request !26
1 job for master in 1 minute and 16 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #575015
build

00:01:16