bundles/org.simantics.debug.ui/css/debugger.css

   1 #mainContent {
   2         font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
   3         font-size: 80%;
   4 }
   5
   6 h2 {
   7         background-color: steelblue;
   8         color: white;
   9         padding: 1px 1ex 1px 1ex;
  10         border: darkslategray 3px solid;
  11         font-size: medium;
  12         font-variant: small-caps;
  13 }
  14
  15 #top {
  16         padding: 5px 5px 5px 5px;
  17         margin: 0px 0px 10px 0px;
  18 }
  19
  20 #uri {
  21         font-family: Consolas, monospace;
  22 }
  23
  24 #resource_id {
  25         font-size: larger;
  26         font-family: Consolas, monospace;
  27 }
  28
  29 blockquote {
  30         border: black 1px solid;
  31         padding: 2px 5px 2px 5px;
  32         spacing: 0px 0px 0px 0px;
  33         background-color: #f8f8f8;
  34         font-family: Consolas, monospace;
  35 }
  36
  37 h4 {
  38         font-size: small;
  39         font-weight: bold;
  40         font-variant: normal;
  41 }
  42
  43 table {
  44         font-size: x-small;
  45 }
  46
  47 td {
  48         background-color: #fdfdc8;
  49         color: black;
  50         border: #9f9f9f 1px solid;
  51         padding: 2px 5px 2px 5px;
  52 }
  53
  54 th {
  55         font-size: small;
  56         font-weight: normal;
  57         background-color: #30804f;
  58         color: white;
  59         border: #b0b0b0 1px solid;
  60         padding: 5px 5px 5px 5px;
  61 }
  62
  63 .monospaced {
  64         font-family: 'Consolas', 'Courier', 'monospace';
  65 }
  66
  67 .border {
  68         padding: 5px 5px 5px 5px;
  69         border-bottom: black 1px solid;
  70 }
  71
  72 table.top {
  73         background-color: #ffffff;
  74         border: #d0d0d0 0px solid;
  75 }
  76
  77 td.top_key {
  78         background-color: #ffffff;
  79         font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
  80         border: #e0e0e0 0px solid;
  81         color: #3f3f3f;
  82         padding-right: 24px;
  83 }
  84
  85 td.top_value {
  86         border: #cfcfcf 1px solid;
  87         color: #3f3f3f;
  88         background-color: #fdfdfd;
  89         padding: 5px 10px 5px 10px;
  90 }
  91
  92 td.acquired
  93 {
  94         background-color: #ff9999;
  95         color: Gray;
  96 }
  97
  98 td.subtitle
  99 {
 100         background-color: #5898ef;
 101         color: white;
 102         border: #9f9f9f 1px solid;
 103 }
 104
 105 td.remove
 106 {
 107     background-color: #ffd0d0;
 108 }
 109
 110 td.empty
 111 {
 112         background-color: White;
 113 }
 114
 115 .edit-link
 116 {
 117         font-size: xx-small;
 118 }