From: Paul V. <pa...@vi...> - 2020-05-11 12:30:44
|
Dmitry Yemanov wrote: > 4) I don't like how titles of <note> / <important> blocks are rendered, > they're just italic of the default size. I'd prefer a bigger font (and > maybe a different colour) as it was in the old version. I don't think it looks good if notes, warnings and the like have a bigger font than the main text - just as long as they stand out by indentation, a border, an icon, maybe italics (rather not bold), and/or cetera. BTW, in the old version (if you mean the current docs by that), notes and other admonitions have a somewhat smaller font than the main text (I prefer that, actually). Paul Vinkenoog |