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

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