projects
/
themes.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
move devtools to separate directory, make HTML-based inspector work
[themes.git]
/
LCARStrek
/
devtools
/
common.css
diff --git
a/LCARStrek/browser/devtools/common.css
b/LCARStrek/devtools/common.css
similarity index 98%
rename from
LCARStrek/browser/devtools/common.css
rename to
LCARStrek/devtools/common.css
index 7c9a2f4929876802cc29d1096eac15073d369c3b..0237525bbf332c2d3095ec614acb496d61f54b93 100644
(file)
--- a/
LCARStrek/browser/devtools/common.css
+++ b/
LCARStrek/devtools/common.css
@@
-16,11
+16,11
@@
notification {
:root {
font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
:root {
font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
+ --proportional-font-family: "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
--monospace-font-family: "Liberation Mono", Consolas, "Courier New", monospace;
--monospace-font-size: 12px;
}
--monospace-font-family: "Liberation Mono", Consolas, "Courier New", monospace;
--monospace-font-size: 12px;
}
-/* Font for code */
.devtools-monospace {
font-family: var(--monospace-font-family);
font-size: var(--monospace-font-size);
.devtools-monospace {
font-family: var(--monospace-font-family);
font-size: var(--monospace-font-size);