Remove WebIDE devtools component.

This resolves #1123

1 files changed, 0 insertions, 80 deletions

diff --git a/devtools/client/webide/themes/config-view.css b/devtools/client/webide/themes/config-view.css
deleted file mode 100644
index 019e735df..000000000
--- a/devtools/client/webide/themes/config-view.css
+++ /dev/null
@@ -1,80 +0,0 @@
-/* This Source Code Form is subject to the terms of the Mozilla Public
- * License, v. 2.0. If a copy of the MPL was not distributed with this
- * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
-
-html, body {
-  background: white;
-}
-
-.action {
-  display: inline;
-}
-
-.action[hidden] {
-  display: none;
-}
-
-#device-fields {
-  font-family: sans-serif;
-  padding-left: 6px;
-  width: 100%;
-  table-layout: auto;
-  margin-top: 110px;
-}
-
-#custom-value-name {
-  width: 50%;
-}
-
-header {
-  background-color: rgba(255, 255, 255, 0.8);
-  border-bottom: 1px solid #EEE;
-  position: fixed;
-  top: 0;
-  left: 0;
-  right: 0;
-  height: 90px;
-  padding: 10px 20px;
-}
-
-#device-fields td {
-  background-color: #F9F9F9;
-  border-bottom: 1px solid #CCC;
-  border-right: 1px solid #FFF;
-  font-size: 0.75em;
-}
-
-#device-fields td:first-child {
-  max-width: 250px;
-  min-width: 150px;
-}
-
-#device-fields td.preference-name, #device-fields td.setting-name {
-  width: 50%;
-  min-width: 400px;
-  word-break: break-all;
-}
-
-#device-fields button {
-  display: inline-block;
-  font-family: sans-serif;
-  font-size: 0.7rem;
-  white-space: nowrap;
-}
-
-#device-fields tr.hide, #device-fields button.hide {
-  display: none;
-}
-
-#device-fields .custom-input {
-  width: 130px;
-}
-
-#search {
-  margin-bottom: 20px;
-  width: 100%;
-}
-
-#search-bar {
-  width: 80%;
-}