X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.browsing.ui.model%2Fsrc-isv%2Fstyle.css;h=1876f721e7eb27b3fe478fe78be4e295f5cf03db;hp=d86b54bc1c9312f6392dbfc5fb90f53ecf4a8717;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hpb=24e2b34260f219f0d1644ca7a138894980e25b14

diff --git a/bundles/org.simantics.browsing.ui.model/src-isv/style.css b/bundles/org.simantics.browsing.ui.model/src-isv/style.css
index d86b54bc1..1876f721e 100644
--- a/bundles/org.simantics.browsing.ui.model/src-isv/style.css
+++ b/bundles/org.simantics.browsing.ui.model/src-isv/style.css
@@ -1,37 +1,37 @@
-
-	/* following font face declarations need to be removed for DBCS */
-	body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, Helvetica, sans-serif; color: #000000 }
-	pre, code, tt	{ font-family: "Courier New", Courier, monospace;}
-	/* end font face declarations */
-
-	body { font-size: 83%; background: #FFFFFF; margin-bottom: 1em }
-	h1           { font-size: 180%; margin-top: 5px; margin-bottom: 1px }	
-	h2           { font-size: 140%; margin-top: 25px; margin-bottom: 3px }
-	h3           { font-size: 110%; margin-top: 20px; margin-bottom: 3px }
-	h4           { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic }
-	p            { margin-top: 10px; margin-bottom: 10px }
-	pre          { font-size: 93%; margin-left: 6; color: #4444CC }
-	img.border   { border:1px dashed }
-	pre.solid    { border:1px solid #333; background: #eee; padding: 3px; margin: 3px; }
-	pre.dotted   { font-size: 93%; margin-left: 6; padding: 1em;border: 1px dashed #2f6fab;color: black;background-color: #f9f9f9;line-height: 1.1em; }
-	code, tt     { font-size: 93%; } 
-	table        { font-size: 100% } /* needed for quirks mode */
-	a:link	     { color: #0000FF }
-	a:hover	     { color: #000080 }
-	a:visited    { text-decoration: underline }
-	
-	
-	ul	         { margin-top: 4px; margin-bottom: 4px; list-style-image: url("arrow.png"); margin-left: 25px; }
-	li	         { margin-left: 0; margin-bottom: 4px; padding: 0; /* margin between bullet and content */ } 
-	ol	         { margin-top: 10px; margin-bottom: 10px; }
-	
-	
-	dl	         { margin-top: 10px; margin-bottom: 10px; }
-	dt	         { margin-top: 5px; margin-bottom: 5px; font-weight: bold; }
-	dd	         { margin-top: 5px; margin-bottom: 5px; }
-	strong	     { font-weight: bold}
-	em	         { font-style: italic}
-	var	         { font-style: italic}
-	div.revision { border-left-style: solid; border-left-width: thin; 
-					   border-left-color: #7B68EE; padding-left:5 }
-	th	         { font-weight: bold }
+
+	/* following font face declarations need to be removed for DBCS */
+	body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, Helvetica, sans-serif; color: #000000 }
+	pre, code, tt	{ font-family: "Courier New", Courier, monospace;}
+	/* end font face declarations */
+
+	body { font-size: 83%; background: #FFFFFF; margin-bottom: 1em }
+	h1           { font-size: 180%; margin-top: 5px; margin-bottom: 1px }	
+	h2           { font-size: 140%; margin-top: 25px; margin-bottom: 3px }
+	h3           { font-size: 110%; margin-top: 20px; margin-bottom: 3px }
+	h4           { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic }
+	p            { margin-top: 10px; margin-bottom: 10px }
+	pre          { font-size: 93%; margin-left: 6; color: #4444CC }
+	img.border   { border:1px dashed }
+	pre.solid    { border:1px solid #333; background: #eee; padding: 3px; margin: 3px; }
+	pre.dotted   { font-size: 93%; margin-left: 6; padding: 1em;border: 1px dashed #2f6fab;color: black;background-color: #f9f9f9;line-height: 1.1em; }
+	code, tt     { font-size: 93%; } 
+	table        { font-size: 100% } /* needed for quirks mode */
+	a:link	     { color: #0000FF }
+	a:hover	     { color: #000080 }
+	a:visited    { text-decoration: underline }
+	
+	
+	ul	         { margin-top: 4px; margin-bottom: 4px; list-style-image: url("arrow.png"); margin-left: 25px; }
+	li	         { margin-left: 0; margin-bottom: 4px; padding: 0; /* margin between bullet and content */ } 
+	ol	         { margin-top: 10px; margin-bottom: 10px; }
+	
+	
+	dl	         { margin-top: 10px; margin-bottom: 10px; }
+	dt	         { margin-top: 5px; margin-bottom: 5px; font-weight: bold; }
+	dd	         { margin-top: 5px; margin-bottom: 5px; }
+	strong	     { font-weight: bold}
+	em	         { font-style: italic}
+	var	         { font-style: italic}
+	div.revision { border-left-style: solid; border-left-width: thin; 
+					   border-left-color: #7B68EE; padding-left:5 }
+	th	         { font-weight: bold }