1 files changed, 0 insertions, 151 deletions
diff --git a/contexts/data/fiveui/injected/injected.css b/contexts/data/fiveui/injected/injected.css
deleted file mode 100644
index 2f50058..0000000
--- a/contexts/data/fiveui/injected/injected.css
+++ /dev/null
@@ -1,151 +0,0 @@
-/*
- * Module     : injected/injected.css
- * Copyright  : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability  : Provisional
- * Portability: Portable
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *      http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-.uic-problem {
-  background-color: rgba(255, 0, 0, 0.3);
-  border: 2px solid;
-  border-color: red;
-}
-
-/* Reduce the JQuery UI spacing on the left of the dialog content. */
-#uic-dialog {
-    padding-left: 3px;
-    font-family: Courier;
-}
-
-#uic-top {
-  font-family: Courier;
-}
-
-.ui-dialog .ui-dialog-content {
-    /* overflow: hidden !important; */
-    position: relative;
-}
-
-#breakButton, #clearButton {
-  font-family: Courier;
-}
-
-/* stats area style */
-
-#fiveui-stats {
-  font-family: Courier;
-  font-size: 10px;
-  background-color: #F0F0F0;
-  border: 1px solid #DDDDDD;
-  border-style: groove;
-  padding: 3px;
-  height: auto;
-  width: 97%;
-  margin-top: 0.5em;
-  margin-bottom: 0.75em;
-}
-
-.fiveui-table-number {
-  text-align: right;
-  color: blue;
-}
-
-.fiveui-table-text {
-  text-align: left;
-  color: black;
-  padding-right: 3px;
-}
-
-/* problem list style */
-
-#problemList {
-    border-style: groove;
-    background: white;
-
-    /*
-    position: absolute;
-    top: 95px;
-    bottom: 0px;
-    */
-
-    /* coarse estimate of width in most standard sizes */
-    width: 97%;
-
-    margin-top: 0.5em;
-    margin-bottom: 0.75em;
-
-    overflow-y: scroll;
-}
-
-.pr {
-    border-top: 1px solid #ddd;
-}
-
-.pr:first-child {
-    border-top: 0px;
-}
-
-.pr>.prControls {
-  float: left;
-  width: 2em;
-}
-
-.pr>div.prControls>div {
-  padding: 0;
-  margin: 0;
-  width: 1em;
-  height: 1em;
-  float: left;
-  background-size: 1em 1em;
-  background-repeat:no-repeat;
-}
-
-.prExpand {
-}
-
-.prSeverity-err {
-    background-image: url(../images/errorCircle.png);
-}
-
-.prSeverity-warn {
-    background-image: url(../images/warningTriangle.png);
-}
-
-.prExpand-right {
-    background-image: url(../images/right-arrow.png);
-}
-.prExpand-down {
-    background-image: url(../images/down-arrow.png);
-}
-
-.prMessage {
-  margin: 0;
-  margin-left: 2em;
-  padding: 0;
-}
-
-.prTitle {
-    display: block;
-    margin: 0px;
-}
-
-.prHead {
-    border-bottom: 1px solid #ccc;
-}
-
-.prDetails {
-}