diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 19:33:14 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 19:33:14 +0000 |
commit | 36d22d82aa202bb199967e9512281e9a53db42c9 (patch) | |
tree | 105e8c98ddea1c1e4784a60a5a6410fa416be2de /dom/xml/resources/XMLPrettyPrint.css | |
parent | Initial commit. (diff) | |
download | firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.tar.xz firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.zip |
Adding upstream version 115.7.0esr.upstream/115.7.0esr
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'dom/xml/resources/XMLPrettyPrint.css')
-rw-r--r-- | dom/xml/resources/XMLPrettyPrint.css | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/dom/xml/resources/XMLPrettyPrint.css b/dom/xml/resources/XMLPrettyPrint.css new file mode 100644 index 0000000000..845833c46f --- /dev/null +++ b/dom/xml/resources/XMLPrettyPrint.css @@ -0,0 +1,58 @@ +@charset "UTF-8"; +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + +@import url("resource://content-accessible/viewsource.css"); + +:host { + color-scheme: light dark; +} + +#header { + background-color: #ccc; + border-bottom: 3px solid black; + padding: 0.5em; + margin-bottom: 1em; +} + +@media (prefers-color-scheme: dark) { + #header { + background-color: #333; + border-color: #555; + } +} + +#tree, +.expandable-children { + margin-inline-start: 1em; +} + +.expandable-body { + display: inline-block; +} + +.expandable-body[open] { + display: block; +} + +.expandable-opening { + list-style: '+' outside; +} + +[open] > .expandable-opening { + list-style-type: '−'; +} + +.expandable-opening::marker { + cursor: pointer; + padding-inline-end: 2px; + /* Don't want to inherit the styling from pi and comment elements */ + color: buttontext; + font: initial; +} + +.comment { + font-family: monospace; + white-space: pre; +} |