X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.debug.ui%2Fcss%2Fdebugger.css;h=cf7318321f1baabfd1df73c63c0fe0440a9bd321;hp=91dee64f344b71ac85210b1f4d9e67dfc5df3e2d;hb=refs%2Fchanges%2F38%2F238%2F2;hpb=24e2b34260f219f0d1644ca7a138894980e25b14

diff --git a/bundles/org.simantics.debug.ui/css/debugger.css b/bundles/org.simantics.debug.ui/css/debugger.css
index 91dee64f3..cf7318321 100644
--- a/bundles/org.simantics.debug.ui/css/debugger.css
+++ b/bundles/org.simantics.debug.ui/css/debugger.css
@@ -1,118 +1,118 @@
-#mainContent {
-	font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
-	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;
-}
-
-blockquote {
-	border: black 1px solid;
-	padding: 2px 5px 2px 5px;
-	spacing: 0px 0px 0px 0px;
-	background-color: #f8f8f8;
-	font-family: Consolas, monospace;
-}
-
-h4 {
-	font-size: small;
-	font-weight: bold;
-	font-variant: normal;
-}
-
-table {
-	font-size: x-small;
-}
-
-td {
-	background-color: #fdfdc8;
-	color: black;
-	border: #9f9f9f 1px solid;
-	padding: 2px 5px 2px 5px;
-}
-
-th {
-	font-size: small;
-	font-weight: normal;
-	background-color: #30804f;
-	color: white;
-	border: #b0b0b0 1px solid;
-	padding: 5px 5px 5px 5px;
-}
-
-.monospaced {
-	font-family: 'Consolas', 'Courier', 'monospace';
-}
-
-.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.acquired 
-{
-	background-color: #ff9999;
-	color: Gray;
-}
-
-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;
+#mainContent {
+	font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
+	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;
+}
+
+blockquote {
+	border: black 1px solid;
+	padding: 2px 5px 2px 5px;
+	spacing: 0px 0px 0px 0px;
+	background-color: #f8f8f8;
+	font-family: Consolas, monospace;
+}
+
+h4 {
+	font-size: small;
+	font-weight: bold;
+	font-variant: normal;
+}
+
+table {
+	font-size: x-small;
+}
+
+td {
+	background-color: #fdfdc8;
+	color: black;
+	border: #9f9f9f 1px solid;
+	padding: 2px 5px 2px 5px;
+}
+
+th {
+	font-size: small;
+	font-weight: normal;
+	background-color: #30804f;
+	color: white;
+	border: #b0b0b0 1px solid;
+	padding: 5px 5px 5px 5px;
+}
+
+.monospaced {
+	font-family: 'Consolas', 'Courier', 'monospace';
+}
+
+.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.acquired 
+{
+	background-color: #ff9999;
+	color: Gray;
+}
+
+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;
 }
\ No newline at end of file