diff options
Diffstat (limited to 'devtools/client/webide/themes/logs.css')
| -rw-r--r-- | devtools/client/webide/themes/logs.css | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/devtools/client/webide/themes/logs.css b/devtools/client/webide/themes/logs.css new file mode 100644 index 000000000..446b6e41c --- /dev/null +++ b/devtools/client/webide/themes/logs.css @@ -0,0 +1,18 @@ +html, body { + background: var(--theme-body-background); + color: var(--theme-body-color); +} + +h1 { + font-size: 1.2em; +} + +ul { + padding: 0; + font-size: 1em; +} + +li { + list-style: none; + margin: 0; +} |