Open
Description
When an exercise is written in Markdown (in a file `descr.md`), verbatim text (between backquotes) appears in a larger font than normal text. Ideally all text should be in the same font size.
As a side note, it would be nice if the default font size was a bit larger.
It would also be nice if the user could control the font size.