/*
 * 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. */
#fiveui-top {
    padding-left: 3px;
    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 {
}