Document_View: less aggressive background coloring, departing from classic PG highlighting; tuned colors;
Document_View: less aggressive background coloring, departing from classic PG highlighting;
tuned colors;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle