more accurate HTML rendering;

adjusted to fc221fa79741;

adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);

use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;

HTML output for Markdown elements;
clarified HTML operations;

HTML rendering of \<^control> as in Isabelle/jEdit;

avoid overlapping line background, notably for "quoted";

tuned rendering;

more HTML rendering as in Isabelle/jEdit;
tuned;

explicit foreground color, for the sake of dark theme in VSCode;

generate CSS for Isabelle fonts;

tuned layout;

modernized generated HTML;

tuned layout;

tuned layout;

tuned signature;

tuned layout;

support for message underline and tooltips;

HTML rendering based on Isabelle/jEdit colors;

style for <dl> that is reminiscent of LaTeX;

clarified fonts;

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;

obsolete (see 1d977436c1bf);

more robust display of bidirectional Unicode text: enforce left-to-right;

server-side fonts;

more explicit markup for improper commands;
clarified CSS rendering;

imitate command markup and rendering of Isabelle/jEdit in HTML output;

more jEdit colors;

proper alt_string markup (cf. 2ceb05ee0331);
more jEdit colors, less PG colors (see bb20fb8a57be);

support for nested text cartouches;
clarified Symbol.is_symbolic: exclude \<open> and \<close>;

more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;

discontinued mostly unused markup for command spans;

more visible markup of malformed input as "bad";

discontinued specific entity markup, which causes confusion with "kind" names with spaces (e.g. "type name");
uniform treatment of "class" entities in input and output;

eliminated markup for plain identifiers (frequent but insignificant);
reduced "black" markup (outer string etc. takes care of it already);

HTML: render control symbols more like Isabelle/Scala/jEdit;

entity markup for "type", "constant";

tuned color, to avoid confusion with type variables;

discontinued generic XML markup -- this is for XHTML with <span/> elements;

type classes: entity markup instead of old-style token markup;

clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete;

discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);

proper place for config files;

--HG--
rename : lib/html/isabelle.css => etc/isabelle.css