etc/isabelle.css
Wed, 03 Nov 2021 22:55:22 +0100 wenzelm clarified link style: similar to Isabelle/jEdit;
Sun, 20 Dec 2020 15:47:54 +0100 wenzelm present auxiliary files with PIDE markup;
Sun, 24 Mar 2019 20:31:53 +0100 wenzelm more accurate HTML rendering;
Tue, 27 Nov 2018 23:30:18 +0100 wenzelm adjusted to fc221fa79741;
Tue, 27 Nov 2018 23:20:58 +0100 wenzelm adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);
Sat, 24 Nov 2018 18:56:44 +0100 wenzelm use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
Wed, 03 Jan 2018 20:55:13 +0100 wenzelm HTML output for Markdown elements;
Fri, 22 Dec 2017 15:49:44 +0100 wenzelm HTML rendering of \<^control> as in Isabelle/jEdit;
Mon, 12 Jun 2017 21:12:59 +0200 wenzelm avoid overlapping line background, notably for "quoted";
Mon, 12 Jun 2017 20:24:40 +0200 wenzelm tuned rendering;
Thu, 08 Jun 2017 23:04:07 +0200 wenzelm more HTML rendering as in Isabelle/jEdit;
Thu, 08 Jun 2017 13:17:40 +0200 wenzelm explicit foreground color, for the sake of dark theme in VSCode;
Thu, 01 Jun 2017 23:12:48 +0200 wenzelm generate CSS for Isabelle fonts;
Wed, 31 May 2017 21:48:32 +0200 wenzelm tuned layout;
Wed, 31 May 2017 21:37:50 +0200 wenzelm modernized generated HTML;
Wed, 31 May 2017 11:49:29 +0200 wenzelm tuned layout;
Sat, 27 May 2017 13:07:27 +0200 wenzelm tuned layout;
Sat, 27 May 2017 12:57:57 +0200 wenzelm tuned signature;
Sat, 27 May 2017 00:30:48 +0200 wenzelm tuned layout;
Fri, 26 May 2017 23:21:50 +0200 wenzelm support for message underline and tooltips;
Sun, 21 May 2017 21:36:31 +0200 wenzelm HTML rendering based on Isabelle/jEdit colors;
Sun, 14 May 2017 21:56:58 +0200 wenzelm style for <dl> that is reminiscent of LaTeX;
Thu, 02 Mar 2017 16:46:22 +0100 wenzelm clarified fonts;
Fri, 12 Aug 2016 22:51:45 +0200 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;
Sat, 02 Apr 2016 15:06:41 +0200 wenzelm obsolete (see 1d977436c1bf);
Sat, 02 Apr 2016 14:17:03 +0200 wenzelm more robust display of bidirectional Unicode text: enforce left-to-right;
Fri, 09 Oct 2015 16:58:24 +0200 wenzelm server-side fonts;
Wed, 10 Dec 2014 13:45:44 +0100 wenzelm more explicit markup for improper commands;
Tue, 09 Dec 2014 22:13:48 +0100 wenzelm imitate command markup and rendering of Isabelle/jEdit in HTML output;
Tue, 09 Dec 2014 20:00:45 +0100 wenzelm more jEdit colors;
Tue, 09 Dec 2014 19:52:26 +0100 wenzelm proper alt_string markup (cf. 2ceb05ee0331);
Sat, 18 Jan 2014 19:15:12 +0100 wenzelm support for nested text cartouches;
Mon, 24 Sep 2012 17:28:36 +0200 wenzelm more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;
Fri, 10 Aug 2012 10:23:54 +0200 wenzelm discontinued mostly unused markup for command spans;
Fri, 10 Aug 2012 10:18:07 +0200 wenzelm more visible markup of malformed input as "bad";
Sat, 10 Mar 2012 23:28:42 +0100 wenzelm discontinued specific entity markup, which causes confusion with "kind" names with spaces (e.g. "type name");
Sun, 04 Sep 2011 19:36:19 +0200 wenzelm eliminated markup for plain identifiers (frequent but insignificant);
Wed, 29 Jun 2011 15:23:36 +0200 wenzelm HTML: render control symbols more like Isabelle/Scala/jEdit;
Sat, 25 Jun 2011 19:38:35 +0200 wenzelm entity markup for "type", "constant";
Sat, 25 Jun 2011 18:29:51 +0200 wenzelm tuned color, to avoid confusion with type variables;
Sat, 25 Jun 2011 18:24:52 +0200 wenzelm discontinued generic XML markup -- this is for XHTML with <span/> elements;
Sat, 25 Jun 2011 18:15:36 +0200 wenzelm type classes: entity markup instead of old-style token markup;
Sat, 25 Jun 2011 17:17:49 +0200 wenzelm clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete;
Sun, 19 Jun 2011 15:22:58 +0200 wenzelm discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
Sat, 18 Jun 2011 15:11:33 +0200 wenzelm proper place for config files;
less more (0) tip