etc/isabelle.css
2021-11-03 wenzelm clarified link style: similar to Isabelle/jEdit;
2020-12-20 wenzelm present auxiliary files with PIDE markup;
2019-03-24 wenzelm more accurate HTML rendering;
2018-11-27 wenzelm adjusted to fc221fa79741;
2018-11-27 wenzelm adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);
2018-11-24 wenzelm use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
2018-01-03 wenzelm HTML output for Markdown elements;
2017-12-22 wenzelm HTML rendering of \<^control> as in Isabelle/jEdit;
2017-06-12 wenzelm avoid overlapping line background, notably for "quoted";
2017-06-12 wenzelm tuned rendering;
2017-06-08 wenzelm more HTML rendering as in Isabelle/jEdit;
2017-06-08 wenzelm explicit foreground color, for the sake of dark theme in VSCode;
2017-06-01 wenzelm generate CSS for Isabelle fonts;
2017-05-31 wenzelm tuned layout;
2017-05-31 wenzelm modernized generated HTML;
2017-05-31 wenzelm tuned layout;
2017-05-27 wenzelm tuned layout;
2017-05-27 wenzelm tuned signature;
2017-05-26 wenzelm tuned layout;
2017-05-26 wenzelm support for message underline and tooltips;
2017-05-21 wenzelm HTML rendering based on Isabelle/jEdit colors;
2017-05-14 wenzelm style for <dl> that is reminiscent of LaTeX;
2017-03-02 wenzelm clarified fonts;
2016-08-12 wenzelm more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
2016-04-02 wenzelm obsolete (see 1d977436c1bf);
2016-04-02 wenzelm more robust display of bidirectional Unicode text: enforce left-to-right;
2015-10-09 wenzelm server-side fonts;
2014-12-10 wenzelm more explicit markup for improper commands;
2014-12-09 wenzelm imitate command markup and rendering of Isabelle/jEdit in HTML output;
2014-12-09 wenzelm more jEdit colors;
less more (0) -30 tip