bundles/org.simantics.debug.browser/resources/css/rawStatements.css

   1 body {
   2         background-color: white;
   3         font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
   4 }
   5
   6 #rawStatementContent {
   7         font-size: 80%;
   8 }
   9
  10 h2 {
  11         background-color: steelblue;
  12         color: white;
  13         padding: 1px 1ex 1px 1ex;
  14         border: darkslategray 3px solid;
  15         font-size: medium;
  16         font-variant: small-caps;
  17 }
  18
  19 #top {
  20         padding: 5px 5px 5px 5px;
  21         margin: 0px 0px 10px 0px;
  22 }
  23
  24 #uri {
  25         font-family: Consolas, monospace;
  26 }
  27
  28 #resource_id {
  29         font-size: larger;
  30         font-family: Consolas, monospace;
  31 }
  32
  33 #resourceInfoContent {
  34         font-size: medium;
  35 }
  36
  37 #attachedValue {
  38         background-color: powderblue;
  39         padding: 0px 1ex 0px 1ex;
  40         border: #9f9f9f 1px solid;
  41 }
  42
  43 #immutable {
  44         background-color: indianred;
  45         color: white;
  46         padding: 0px 1ex 0px 1ex;
  47         margin-left: 2px;
  48         border: #9f9f9f 1px solid;
  49 }
  50
  51 blockquote {
  52         border: black 1px solid;
  53         padding: 2px 5px 2px 5px;
  54         background-color: #f8f8f8;
  55         font-family: Consolas, monospace;
  56 }
  57
  58 h4 {
  59         font-size: small;
  60         font-weight: bold;
  61         font-variant: normal;
  62 }
  63
  64 table {
  65         font-size: small;
  66 }
  67
  68 td {
  69         background-color: #fdfdc8;
  70         color: black;
  71         border: #9f9f9f 1px solid;
  72         padding: 2px 5px 2px 5px;
  73         vertical-align: text-top;
  74 }
  75
  76 th {
  77         font-size: small;
  78         font-weight: normal;
  79         background-color: #30804f;
  80         color: white;
  81         border: #b0b0b0 1px solid;
  82         padding: 5px 5px 5px 5px;
  83 }
  84
  85 .monospaced, a.monospaced {
  86         font-family: 'Consolas', 'Courier', 'monospace';
  87 }
  88
  89
  90 a:visited {
  91         color: blue;
  92 }
  93
  94 .resourceType, .resourceType a {
  95         color: gray;
  96 }
  97
  98
  99 .border {
 100         padding: 5px 5px 5px 5px;
 101         border-bottom: black 1px solid;
 102 }
 103
 104 table.top {
 105         background-color: #ffffff;
 106         border: #d0d0d0 0px solid;
 107 }
 108
 109 td.top_key {
 110         background-color: #ffffff;
 111         font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
 112         border: #e0e0e0 0px solid;
 113         color: #3f3f3f;
 114         padding-right: 24px;
 115 }
 116
 117 td.top_value {
 118         border: #cfcfcf 1px solid;
 119         color: #3f3f3f;
 120         background-color: #fdfdfd;
 121         padding: 5px 10px 5px 10px;
 122 }
 123
 124 td.asserted
 125 {
 126         background-color: #ffd0b6;
 127 }
 128
 129 td.subtitle
 130 {
 131         background-color: #5898ef;
 132         color: white;
 133         border: #9f9f9f 1px solid;
 134 }
 135
 136 td.remove
 137 {
 138     background-color: #ffd0d0;
 139 }
 140
 141 td.empty
 142 {
 143         background-color: White;
 144 }
 145
 146 .edit-link
 147 {
 148         font-size: xx-small;
 149 }
 150
 151
 152 /* ------------------
 153  Copied from workbench search CSS.
 154  */
 155
 156 input#search {
 157     font-size: smaller;
 158     background-color: #f8fffa;
 159     margin-left: auto;
 160     margin-right: auto;
 161     margin-top: 1ex;
 162     margin-bottom: 0ex;
 163     padding: 5pt;
 164     -moz-box-sizing: border-box;
 165     box-sizing: border-box;
 166     width: 100%;
 167 }
 168
 169 hr {
 170     border: 0;
 171     width: 100%;
 172     background-color: #cacaca;
 173     height: 1px;
 174 }
 175
 176 .dataTables_filter {
 177     float: right;
 178     text-align: right;
 179 }
 180
 181 ol {
 182     list-style-type: none;
 183     padding-left: 0;
 184     margin-left: 0;
 185 }
 186
 187 li {
 188     padding-left: 0;
 189     margin-left: 0;
 190 }
 191
 192 div.result {
 193     margin: 1ex;
 194     border: 1px solid #f4f4f4;
 195     padding: 1ex;
 196 }
 197
 198 div.result:hover {
 199     background-color: #fafafa;
 200 }
 201
 202 .small {
 203     font-size: x-small;
 204 }
 205
 206 .emph:hover {
 207     background-color: #d0d0d0;
 208 }
 209
 210 .small:hover {
 211     background-color: #e0e0e0;
 212 }
 213
 214 .result:hover {
 215     background-color: #dadada;
 216 }
 217
 218 .ui-tabs {
 219    font-size: x-small;
 220 }
 221
 222 table.tablesorter .css_right {
 223         float: right;
 224         text-align: right;
 225 }
 226
 227 .dataTables_length {
 228     float: left;
 229 }
 230
 231 div.dataTables_wrapper .ui-widget-header {
 232     font-weight: normal;
 233     font-size: small;
 234 }
 235
 236 .dataTables_wrapper .ui-toolbar {
 237     padding: 5px;
 238 }
 239
 240 .dataTables_info {
 241     float: left;
 242     padding: 3px 0px;
 243 }
 244
 245 .dataTables_paginate {
 246     float: right;
 247     text-align: right;
 248 }
 249
 250 .dataTables_paginate .ui-button {
 251         margin-right: -0.1em !important;
 252 }
 253
 254 .paging_full_numbers .ui-button {
 255         padding: 2px 6px;
 256         margin: 0;
 257         cursor: pointer;
 258         * cursor: hand;
 259         color: #333 !important;
 260 }