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

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