diff options
Diffstat (limited to 'devtools/client/webide/themes/logs.css')
-rw-r--r-- | devtools/client/webide/themes/logs.css | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/devtools/client/webide/themes/logs.css b/devtools/client/webide/themes/logs.css deleted file mode 100644 index 446b6e41c..000000000 --- a/devtools/client/webide/themes/logs.css +++ /dev/null @@ -1,18 +0,0 @@ -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; -} |