1 files changed, 151 insertions, 0 deletions
diff --git a/src/js/fiveui/injected/injected.css b/src/js/fiveui/injected/injected.css
new file mode 100644
index 0000000..2f50058
--- /dev/null
+++ b/src/js/fiveui/injected/injected.css
@@ -0,0 +1,151 @@
+/*
+ * 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 {
+}