style/dtc-errors.css

   1 .document-errors {
   2         border:1ex solid red;
   3         margin-bottom:2ex;
   4         padding:1ex;
   5         page-break-after:always;
   6  }
   7 .document-errors:after {
   8         /* NOTE: clearfix: clear the children's floats */
   9         clear: both;
  10         content: "";
  11         display: table;
  12  }
  13
  14 /* These rules are manipulated by the script.
  15    The commented form is how it looks with an id selected */
  16 .errors-all {
  17         font-weight: bold;
  18  }
  19  /* #content div {display:none;} */
  20  /* #content div.id {display:block;} */
  21  /* #id {font-weight: bold;} */
  22
  23 .errors-nav {
  24         -moz-border-radius:5px;
  25         -webkit-border-radius:5px;
  26         background:#BFEFFF;
  27         border-radius:5px;
  28         float:left;
  29         padding:1ex;
  30  }
  31 .errors-nav > p {
  32         margin-bottom: 0px;
  33  }
  34 .errors-nav > ul {
  35         margin-top: 0px;
  36         padding-left: 15px;
  37  }
  38 .errors-nav > ul > li {
  39         list-style-type:circle;
  40  }
  41
  42 .errors-list {
  43         overflow:auto;
  44         padding-bottom: 15px;
  45         padding-right: 7px;
  46  }
  47 .errors-list {
  48         margin:0 0 0 0;
  49  }
  50 .errors-list > li {
  51         border-bottom:1px solid #ccc;
  52  }
  53 @media screen {
  54         .document-errors a:hover {
  55                 background-color:inherit !important;
  56          }
  57         .document-errors .errors-nav a,
  58         .document-errors .errors-nav a:visited,
  59         .document-errors .errors-nav a:active {
  60                 color:blue;
  61          }
  62         .document-errors .errors-list a,
  63         .document-errors .errors-list a:visited,
  64         .document-errors .errors-list a:active {
  65                 color:blue;
  66          }
  67         .document-errors a:hover {
  68                 color:black !important;
  69          }
  70  }
  71
  72 .error-kind {
  73         color:red;
  74  }
  75 .error-position {
  76         color:gray;
  77  }