diff options
| author | wolfbeast <mcwerewolf@wolfbeast.com> | 2019-07-13 02:41:46 +0200 |
|---|---|---|
| committer | wolfbeast <mcwerewolf@wolfbeast.com> | 2019-07-13 02:41:46 +0200 |
| commit | 197f4cbaa47e5e8b9b1fb578b10046914eb6486e (patch) | |
| tree | 88385023b67d603f70c6ae42a653a6f4e9b0ae26 /devtools/client/webide/themes/logs.css | |
| parent | 69970c911be3c9189006c61fea7c059bf4f7e005 (diff) | |
| download | UXP-197f4cbaa47e5e8b9b1fb578b10046914eb6486e.tar UXP-197f4cbaa47e5e8b9b1fb578b10046914eb6486e.tar.gz UXP-197f4cbaa47e5e8b9b1fb578b10046914eb6486e.tar.lz UXP-197f4cbaa47e5e8b9b1fb578b10046914eb6486e.tar.xz UXP-197f4cbaa47e5e8b9b1fb578b10046914eb6486e.zip | |
Remove WebIDE devtools component.
This resolves #1123
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; -} |