X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.ui%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fui%2Fassist%2FSclDoc.css;h=3a65c9694aea9a9a1151b8dd6ca62aa279442758;hb=afa02bc122a8a9954fd357aa284ec3eae8ba27c6;hp=b98013115ba9dffe1c4e77e320d789e25c00a2dc;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/assist/SclDoc.css b/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/assist/SclDoc.css
index b98013115..3a65c9694 100644
--- a/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/assist/SclDoc.css
+++ b/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/assist/SclDoc.css
@@ -1,77 +1,77 @@
-* {
-	margin: 0;
-	padding: 0
-}
-
-html {
-	background-color: white;
-	width: 100%;
-	height: 100%;
-}
-
-body {
-	background: white;
-	color: black;
-	text-align: left;
-	min-height: 100%;
-	position: relative;
-	margin: 10pt 10pt;
-	
-	font: 16px/1.4 sans-serif;
-}
-
-p {
-	margin: 0.8em 0;
-}
-
-a {
-    text-decoration: none;
-}
-
-p.src {
-	border-top: 1px solid #ccc;
-    background: #f0f0f0;
-    padding: 0.2em 0.5em;
-    font-family: monospace;
-    line-height: 124%;
-}
-
-.ref {
-	font-weight: bold;
-}
-
-div.entity {
-	margin: 2em 0;
-}
-
-div.doc {
-    padding-left: 2em;
-}
-
-.caption, h1, h2, h3, h4, h5, h6 {
-    font-weight: bold;
-    color: rgb(78,98,114);
-    margin: 0.8em 0 0.4em;
-}
-
-.title {
-	font-size: 200%;
-	color: rgb(78,98,114);
-    font-weight: bold;
-    border-bottom: 1px solid #ddd;
-}
-
-ul,ol {
-	margin: 0.8em 0 0.8em 2em;
-}
-
-h1 { font-size: 146.5%; } 
-h2 { font-size: 131%;   }
-h3 { font-size: 116%;   }
-h4 { font-size: 100%;   }
-h5 { font-size: 100%;   }
-
-pre {
-	margin: 0.5em;
-	background: #d0ffd0;
+* {
+	margin: 0;
+	padding: 0
+}
+
+html {
+	background-color: white;
+	width: 100%;
+	height: 100%;
+}
+
+body {
+	background: white;
+	color: black;
+	text-align: left;
+	min-height: 100%;
+	position: relative;
+	margin: 10pt 10pt;
+	
+	font: 16px/1.4 sans-serif;
+}
+
+p {
+	margin: 0.8em 0;
+}
+
+a {
+    text-decoration: none;
+}
+
+p.src {
+	border-top: 1px solid #ccc;
+    background: #f0f0f0;
+    padding: 0.2em 0.5em;
+    font-family: monospace;
+    line-height: 124%;
+}
+
+.ref {
+	font-weight: bold;
+}
+
+div.entity {
+	margin: 2em 0;
+}
+
+div.doc {
+    padding-left: 2em;
+}
+
+.caption, h1, h2, h3, h4, h5, h6 {
+    font-weight: bold;
+    color: rgb(78,98,114);
+    margin: 0.8em 0 0.4em;
+}
+
+.title {
+	font-size: 200%;
+	color: rgb(78,98,114);
+    font-weight: bold;
+    border-bottom: 1px solid #ddd;
+}
+
+ul,ol {
+	margin: 0.8em 0 0.8em 2em;
+}
+
+h1 { font-size: 146.5%; } 
+h2 { font-size: 131%;   }
+h3 { font-size: 116%;   }
+h4 { font-size: 100%;   }
+h5 { font-size: 100%;   }
+
+pre {
+	margin: 0.5em;
+	background: #d0ffd0;
 }
\ No newline at end of file