Merge branch 'gchq:master' into tabbing-to-side-panel

This commit is contained in:
j264415 2024-02-14 10:16:06 +00:00 committed by GitHub
commit 0458941100
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
21 changed files with 309 additions and 190 deletions

View file

@ -36,4 +36,5 @@
@import "./layout/_structure.css";
/* Operations */
@import "./operations/diff.css";
@import "./operations/json.css";

View file

@ -0,0 +1,8 @@
del {
background-color: var(--hl3);
}
ins {
text-decoration: underline; /* shouldn't be needed, but Chromium doesn't copy to clipboard without it */
background-color: var(--hl5);
}