| Wed, 03 Nov 2021 22:55:22 +0100 |
wenzelm |
clarified link style: similar to Isabelle/jEdit;
|
file |
diff |
annotate
|
| Sun, 20 Dec 2020 15:47:54 +0100 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|
| Sun, 24 Mar 2019 20:31:53 +0100 |
wenzelm |
more accurate HTML rendering;
|
file |
diff |
annotate
|
| Tue, 27 Nov 2018 23:30:18 +0100 |
wenzelm |
adjusted to fc221fa79741;
|
file |
diff |
annotate
|
| Tue, 27 Nov 2018 23:20:58 +0100 |
wenzelm |
adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);
|
file |
diff |
annotate
|
| Sat, 24 Nov 2018 18:56:44 +0100 |
wenzelm |
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
|
file |
diff |
annotate
|
| Wed, 03 Jan 2018 20:55:13 +0100 |
wenzelm |
HTML output for Markdown elements;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 15:49:44 +0100 |
wenzelm |
HTML rendering of \<^control> as in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Mon, 12 Jun 2017 21:12:59 +0200 |
wenzelm |
avoid overlapping line background, notably for "quoted";
|
file |
diff |
annotate
|
| Mon, 12 Jun 2017 20:24:40 +0200 |
wenzelm |
tuned rendering;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2017 23:04:07 +0200 |
wenzelm |
more HTML rendering as in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2017 13:17:40 +0200 |
wenzelm |
explicit foreground color, for the sake of dark theme in VSCode;
|
file |
diff |
annotate
|
| Thu, 01 Jun 2017 23:12:48 +0200 |
wenzelm |
generate CSS for Isabelle fonts;
|
file |
diff |
annotate
|
| Wed, 31 May 2017 21:48:32 +0200 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
| Wed, 31 May 2017 21:37:50 +0200 |
wenzelm |
modernized generated HTML;
|
file |
diff |
annotate
|
| Wed, 31 May 2017 11:49:29 +0200 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
| Sat, 27 May 2017 13:07:27 +0200 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
| Sat, 27 May 2017 12:57:57 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 27 May 2017 00:30:48 +0200 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
| Fri, 26 May 2017 23:21:50 +0200 |
wenzelm |
support for message underline and tooltips;
|
file |
diff |
annotate
|
| Sun, 21 May 2017 21:36:31 +0200 |
wenzelm |
HTML rendering based on Isabelle/jEdit colors;
|
file |
diff |
annotate
|
| Sun, 14 May 2017 21:56:58 +0200 |
wenzelm |
style for <dl> that is reminiscent of LaTeX;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2017 16:46:22 +0100 |
wenzelm |
clarified fonts;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 15:06:41 +0200 |
wenzelm |
obsolete (see 1d977436c1bf);
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 14:17:03 +0200 |
wenzelm |
more robust display of bidirectional Unicode text: enforce left-to-right;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2015 16:58:24 +0200 |
wenzelm |
server-side fonts;
|
file |
diff |
annotate
|
| Wed, 10 Dec 2014 13:45:44 +0100 |
wenzelm |
more explicit markup for improper commands;
|
file |
diff |
annotate
|
| Tue, 09 Dec 2014 22:13:48 +0100 |
wenzelm |
imitate command markup and rendering of Isabelle/jEdit in HTML output;
|
file |
diff |
annotate
|
| Tue, 09 Dec 2014 20:00:45 +0100 |
wenzelm |
more jEdit colors;
|
file |
diff |
annotate
|