etc/isabelle.css
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;
2014-12-09 wenzelm proper alt_string markup (cf. 2ceb05ee0331);
2014-01-18 wenzelm support for nested text cartouches;
2012-09-24 wenzelm more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;
2012-08-10 wenzelm discontinued mostly unused markup for command spans;
2012-08-10 wenzelm more visible markup of malformed input as "bad";
2012-03-10 wenzelm discontinued specific entity markup, which causes confusion with "kind" names with spaces (e.g. "type name");
2011-09-04 wenzelm eliminated markup for plain identifiers (frequent but insignificant);
2011-06-29 wenzelm HTML: render control symbols more like Isabelle/Scala/jEdit;
2011-06-25 wenzelm entity markup for "type", "constant";
2011-06-25 wenzelm tuned color, to avoid confusion with type variables;
2011-06-25 wenzelm discontinued generic XML markup -- this is for XHTML with <span/> elements;
2011-06-25 wenzelm type classes: entity markup instead of old-style token markup;
2011-06-25 wenzelm clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete;
2011-06-19 wenzelm discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
2011-06-18 wenzelm proper place for config files;
less more (0) tip