Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.debug.ui / css / debugger.css

diff --git a/bundles/org.simantics.debug.ui/css/debugger.css b/bundles/org.simantics.debug.ui/css/debugger.css
new file mode 100644 (file)
index 0000000..91dee64
--- /dev/null
+++ b/bundles/org.simantics.debug.ui/css/debugger.css
@@ -0,0 +1,118 @@
+#mainContent {\r
+       font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;\r
+       font-size: 80%;\r
+}\r
+\r
+h2 {\r
+       background-color: steelblue;\r
+       color: white;\r
+       padding: 1px 1ex 1px 1ex;\r
+       border: darkslategray 3px solid;\r
+       font-size: medium;\r
+       font-variant: small-caps;\r
+}\r
+\r
+#top {\r
+       padding: 5px 5px 5px 5px;\r
+       margin: 0px 0px 10px 0px;\r
+}\r
+\r
+#uri {\r
+       font-family: Consolas, monospace;\r
+}\r
+\r
+#resource_id {\r
+       font-size: larger;\r
+       font-family: Consolas, monospace;\r
+}\r
+\r
+blockquote {\r
+       border: black 1px solid;\r
+       padding: 2px 5px 2px 5px;\r
+       spacing: 0px 0px 0px 0px;\r
+       background-color: #f8f8f8;\r
+       font-family: Consolas, monospace;\r
+}\r
+\r
+h4 {\r
+       font-size: small;\r
+       font-weight: bold;\r
+       font-variant: normal;\r
+}\r
+\r
+table {\r
+       font-size: x-small;\r
+}\r
+\r
+td {\r
+       background-color: #fdfdc8;\r
+       color: black;\r
+       border: #9f9f9f 1px solid;\r
+       padding: 2px 5px 2px 5px;\r
+}\r
+\r
+th {\r
+       font-size: small;\r
+       font-weight: normal;\r
+       background-color: #30804f;\r
+       color: white;\r
+       border: #b0b0b0 1px solid;\r
+       padding: 5px 5px 5px 5px;\r
+}\r
+\r
+.monospaced {\r
+       font-family: 'Consolas', 'Courier', 'monospace';\r
+}\r
+\r
+.border {\r
+       padding: 5px 5px 5px 5px;\r
+       border-bottom: black 1px solid;\r
+}\r
+\r
+table.top {\r
+       background-color: #ffffff;\r
+       border: #d0d0d0 0px solid;\r
+}\r
+\r
+td.top_key {\r
+       background-color: #ffffff;\r
+       font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;\r
+       border: #e0e0e0 0px solid;\r
+       color: #3f3f3f;\r
+       padding-right: 24px;\r
+}\r
+\r
+td.top_value {\r
+       border: #cfcfcf 1px solid;\r
+       color: #3f3f3f;\r
+       background-color: #fdfdfd;\r
+       padding: 5px 10px 5px 10px;\r
+}\r
+\r
+td.acquired \r
+{\r
+       background-color: #ff9999;\r
+       color: Gray;\r
+}\r
+\r
+td.subtitle\r
+{\r
+       background-color: #5898ef;\r
+       color: white;\r
+       border: #9f9f9f 1px solid;\r
+}\r
+\r
+td.remove\r
+{\r
+    background-color: #ffd0d0;\r
+}\r
+\r
+td.empty\r
+{\r
+       background-color: White;\r
+}\r
+\r
+.edit-link\r
+{\r
+       font-size: xx-small;\r
+}
\ No newline at end of file