X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.databoard%2Fsrc-isv%2Fstyle.css;fp=bundles%2Forg.simantics.databoard%2Fsrc-isv%2Fstyle.css;h=4f832743bcfdaf7803a12aa1a911dcb8cd519087;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=bcbc1dc1fc8f56bee8ff12e1230f3c6415f7bcf7;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.databoard/src-isv/style.css b/bundles/org.simantics.databoard/src-isv/style.css
index bcbc1dc1f..4f832743b 100644
--- a/bundles/org.simantics.databoard/src-isv/style.css
+++ b/bundles/org.simantics.databoard/src-isv/style.css
@@ -1,38 +1,38 @@
-
-/* 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 */
-
-@media print {
-	html { font-size: 12pt }
-}
-
-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 }
-pre.code     { background-color:#fffff7; border: 1px dashed #cccccc; padding: 2ex; margin-left:2em; margin-right:2em; margin-top: 1em; margin-bottom:1em; color: #000000 }
-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: 10px; margin-bottom: 10px; }
-li	     { margin-top: 5px; margin-bottom: 5px; } 
-li p	     { margin-top: 5px; margin-bottom: 5px; }
-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 */
+
+@media print {
+	html { font-size: 12pt }
+}
+
+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 }
+pre.code     { background-color:#fffff7; border: 1px dashed #cccccc; padding: 2ex; margin-left:2em; margin-right:2em; margin-top: 1em; margin-bottom:1em; color: #000000 }
+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: 10px; margin-bottom: 10px; }
+li	     { margin-top: 5px; margin-bottom: 5px; } 
+li p	     { margin-top: 5px; margin-bottom: 5px; }
+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 }