Here's a screenshot from an exercise we use:
A student complained that the "P" and "C" in the instructions are too small and at first they thought these were lowercase. It turns out those are coming out at 0.875 scale. It seems this is bootstrap styling for a code HTML element, which is what PGML does for [| ... |]*.
Should we make [| ... |]* doe something else? Maybe still code, but styled at 100%?
Here's a screenshot from an exercise we use:
A student complained that the "P" and "C" in the instructions are too small and at first they thought these were lowercase. It turns out those are coming out at 0.875 scale. It seems this is bootstrap styling for a
codeHTML element, which is what PGML does for[| ... |]*.Should we make
[| ... |]*doe something else? Maybe stillcode, but styled at 100%?