Change log

Bug fixes

• <ul><li> and </li></ul> are now correctly balanced in the TOC (Thanks @quornian )
• Anchors are now correctly encoded (spaces are converted to %20)
• When you load the page from a url already containing an anchor, a second anchor will not dumbly be appended anymore (Thanks @icanrealizeum )

Style fixes

• The default theme (light) is now rendered correctly when JavaScript is disabled
• Styling for printing has been improved

Infrastructure

• Docs are now deployed correctly again... Because of a bug in the deployment script, they were not updated since march.