Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.debug.browser / resources / css / rawStatements.css

diff --git a/bundles/org.simantics.debug.browser/resources/css/rawStatements.css b/bundles/org.simantics.debug.browser/resources/css/rawStatements.css
new file mode 100644 (file)
index 0000000..e6be032
--- /dev/null
+++ b/bundles/org.simantics.debug.browser/resources/css/rawStatements.css
@@ -0,0 +1,260 @@
+body {\r
+       background-color: white;\r
+       font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;\r
+}\r
+\r
+#rawStatementContent {\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
+#resourceInfoContent {\r
+       font-size: medium;\r
+}\r
+\r
+#attachedValue {\r
+       background-color: powderblue;\r
+       padding: 0px 1ex 0px 1ex;\r
+       border: #9f9f9f 1px solid;\r
+}\r
+\r
+#immutable {\r
+       background-color: indianred;\r
+       color: white;\r
+       padding: 0px 1ex 0px 1ex;\r
+       margin-left: 2px;\r
+       border: #9f9f9f 1px solid;\r
+}\r
+\r
+blockquote {\r
+       border: black 1px solid;\r
+       padding: 2px 5px 2px 5px;\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: small;\r
+}\r
+\r
+td {\r
+       background-color: #fdfdc8;\r
+       color: black;\r
+       border: #9f9f9f 1px solid;\r
+       padding: 2px 5px 2px 5px;\r
+        vertical-align: text-top;\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, a.monospaced {\r
+       font-family: 'Consolas', 'Courier', 'monospace';\r
+}\r
+\r
+\r
+a:visited {\r
+       color: blue;\r
+}\r
+\r
+.resourceType, .resourceType a {\r
+       color: gray;\r
+}\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.asserted\r
+{\r
+       background-color: #ffd0b6;\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
+}\r
+\r
+\r
+/* ------------------\r
+ Copied from workbench search CSS.\r
+ */\r
+\r
+input#search {\r
+    font-size: smaller;\r
+    background-color: #f8fffa;\r
+    margin-left: auto;\r
+    margin-right: auto;\r
+    margin-top: 1ex;\r
+    margin-bottom: 0ex;\r
+    padding: 5pt;\r
+    -moz-box-sizing: border-box;\r
+    box-sizing: border-box;\r
+    width: 100%;\r
+}\r
+\r
+hr {\r
+    border: 0;\r
+    width: 100%;\r
+    background-color: #cacaca;\r
+    height: 1px;\r
+}\r
+\r
+.dataTables_filter {\r
+    float: right;\r
+    text-align: right;\r
+}\r
+\r
+ol {\r
+    list-style-type: none;\r
+    padding-left: 0;\r
+    margin-left: 0;\r
+}\r
+\r
+li {\r
+    padding-left: 0;\r
+    margin-left: 0;\r
+}\r
+\r
+div.result {\r
+    margin: 1ex;\r
+    border: 1px solid #f4f4f4;\r
+    padding: 1ex;\r
+}\r
+\r
+div.result:hover {\r
+    background-color: #fafafa;\r
+}\r
+\r
+.small {\r
+    font-size: x-small;\r
+}\r
+\r
+.emph:hover {\r
+    background-color: #d0d0d0;\r
+}\r
+\r
+.small:hover {\r
+    background-color: #e0e0e0;\r
+}\r
+\r
+.result:hover {\r
+    background-color: #dadada;\r
+}\r
+\r
+.ui-tabs {\r
+   font-size: x-small;\r
+}\r
+\r
+table.tablesorter .css_right {\r
+       float: right;\r
+       text-align: right;\r
+}\r
+\r
+.dataTables_length {\r
+    float: left;\r
+}\r
+\r
+div.dataTables_wrapper .ui-widget-header {\r
+    font-weight: normal;\r
+    font-size: small;\r
+}\r
+\r
+.dataTables_wrapper .ui-toolbar {\r
+    padding: 5px;\r
+}\r
+\r
+.dataTables_info {\r
+    float: left;\r
+    padding: 3px 0px;\r
+}\r
+\r
+.dataTables_paginate {\r
+    float: right;\r
+    text-align: right;\r
+}\r
+\r
+.dataTables_paginate .ui-button {\r
+       margin-right: -0.1em !important;\r
+}\r
+\r
+.paging_full_numbers .ui-button {\r
+       padding: 2px 6px;\r
+       margin: 0;\r
+       cursor: pointer;\r
+       * cursor: hand;\r
+       color: #333 !important;\r
+}\r