From: Mark R. <ma...@la...> - 2020-05-30 13:36:36
|
On 30-05-2020 14:57, Mark Rotteveel wrote: > It should be bold as well in the HTML, but there is a conflict in style > rules, which means text in code tags is rendered in font-weight normal. > I'll fix that later. Style is now also updated in the HTML (may need a hard refresh to see it). Mark -- Mark Rotteveel |