X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.debug.browser%2Fresources%2Fcss%2FrawStatements.css;h=c34eb9b8dab19bb526cd92e1aab950cbc6517907;hb=a2df536f7fc878982c6c960a79ed49f350cddc6f;hp=e6be0320451ff667a107ff988c2db09f380a44ca;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.debug.browser/resources/css/rawStatements.css b/bundles/org.simantics.debug.browser/resources/css/rawStatements.css
index e6be03204..c34eb9b8d 100644
--- 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 {
-	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;
-}
+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;
+}