Fixed all line endings of the repository

[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
index e6be0320451ff667a107ff988c2db09f380a44ca..c34eb9b8dab19bb526cd92e1aab950cbc6517907 100644 (file)
--- a/bundles/org.simantics.debug.browser/resources/css/rawStatements.css
+++ b/bundles/org.simantics.debug.browser/resources/css/rawStatements.css
@@ -1,260 +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
+body {
+       background-color: white;
+       font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
+}
+
+#rawStatementContent {
+       font-size: 80%;
+}
+
+h2 {
+       background-color: steelblue;
+       color: white;
+       padding: 1px 1ex 1px 1ex;
+       border: darkslategray 3px solid;
+       font-size: medium;
+       font-variant: small-caps;
+}
+
+#top {
+       padding: 5px 5px 5px 5px;
+       margin: 0px 0px 10px 0px;
+}
+
+#uri {
+       font-family: Consolas, monospace;
+}
+
+#resource_id {
+       font-size: larger;
+       font-family: Consolas, monospace;
+}
+
+#resourceInfoContent {
+       font-size: medium;
+}
+
+#attachedValue {
+       background-color: powderblue;
+       padding: 0px 1ex 0px 1ex;
+       border: #9f9f9f 1px solid;
+}
+
+#immutable {
+       background-color: indianred;
+       color: white;
+       padding: 0px 1ex 0px 1ex;
+       margin-left: 2px;
+       border: #9f9f9f 1px solid;
+}
+
+blockquote {
+       border: black 1px solid;
+       padding: 2px 5px 2px 5px;
+       background-color: #f8f8f8;
+       font-family: Consolas, monospace;
+}
+
+h4 {
+       font-size: small;
+       font-weight: bold;
+       font-variant: normal;
+}
+
+table {
+       font-size: small;
+}
+
+td {
+       background-color: #fdfdc8;
+       color: black;
+       border: #9f9f9f 1px solid;
+       padding: 2px 5px 2px 5px;
+        vertical-align: text-top;
+}
+
+th {
+       font-size: small;
+       font-weight: normal;
+       background-color: #30804f;
+       color: white;
+       border: #b0b0b0 1px solid;
+       padding: 5px 5px 5px 5px;
+}
+
+.monospaced, a.monospaced {
+       font-family: 'Consolas', 'Courier', 'monospace';
+}
+
+
+a:visited {
+       color: blue;
+}
+
+.resourceType, .resourceType a {
+       color: gray;
+}
+
+
+.border {
+       padding: 5px 5px 5px 5px;
+       border-bottom: black 1px solid;
+}
+
+table.top {
+       background-color: #ffffff;
+       border: #d0d0d0 0px solid;
+}
+
+td.top_key {
+       background-color: #ffffff;
+       font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
+       border: #e0e0e0 0px solid;
+       color: #3f3f3f;
+       padding-right: 24px;
+}
+
+td.top_value {
+       border: #cfcfcf 1px solid;
+       color: #3f3f3f;
+       background-color: #fdfdfd;
+       padding: 5px 10px 5px 10px;
+}
+
+td.asserted
+{
+       background-color: #ffd0b6;
+}
+
+td.subtitle
+{
+       background-color: #5898ef;
+       color: white;
+       border: #9f9f9f 1px solid;
+}
+
+td.remove
+{
+    background-color: #ffd0d0;
+}
+
+td.empty
+{
+       background-color: White;
+}
+
+.edit-link
+{
+       font-size: xx-small;
+}
+
+
+/* ------------------
+ Copied from workbench search CSS.
+ */
+
+input#search {
+    font-size: smaller;
+    background-color: #f8fffa;
+    margin-left: auto;
+    margin-right: auto;
+    margin-top: 1ex;
+    margin-bottom: 0ex;
+    padding: 5pt;
+    -moz-box-sizing: border-box;
+    box-sizing: border-box;
+    width: 100%;
+}
+
+hr {
+    border: 0;
+    width: 100%;
+    background-color: #cacaca;
+    height: 1px;
+}
+
+.dataTables_filter {
+    float: right;
+    text-align: right;
+}
+
+ol {
+    list-style-type: none;
+    padding-left: 0;
+    margin-left: 0;
+}
+
+li {
+    padding-left: 0;
+    margin-left: 0;
+}
+
+div.result {
+    margin: 1ex;
+    border: 1px solid #f4f4f4;
+    padding: 1ex;
+}
+
+div.result:hover {
+    background-color: #fafafa;
+}
+
+.small {
+    font-size: x-small;
+}
+
+.emph:hover {
+    background-color: #d0d0d0;
+}
+
+.small:hover {
+    background-color: #e0e0e0;
+}
+
+.result:hover {
+    background-color: #dadada;
+}
+
+.ui-tabs {
+   font-size: x-small;
+}
+
+table.tablesorter .css_right {
+       float: right;
+       text-align: right;
+}
+
+.dataTables_length {
+    float: left;
+}
+
+div.dataTables_wrapper .ui-widget-header {
+    font-weight: normal;
+    font-size: small;
+}
+
+.dataTables_wrapper .ui-toolbar {
+    padding: 5px;
+}
+
+.dataTables_info {
+    float: left;
+    padding: 3px 0px;
+}
+
+.dataTables_paginate {
+    float: right;
+    text-align: right;
+}
+
+.dataTables_paginate .ui-button {
+       margin-right: -0.1em !important;
+}
+
+.paging_full_numbers .ui-button {
+       padding: 2px 6px;
+       margin: 0;
+       cursor: pointer;
+       * cursor: hand;
+       color: #333 !important;
+}