Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.databoard / src-isv / style.css

diff --git a/bundles/org.simantics.databoard/src-isv/style.css b/bundles/org.simantics.databoard/src-isv/style.css
new file mode 100644 (file)
index 0000000..bcbc1dc
--- /dev/null
+++ b/bundles/org.simantics.databoard/src-isv/style.css
@@ -0,0 +1,38 @@
+\r
+/* following font face declarations need to be removed for DBCS */\r
+\r
+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}\r
+pre, code, tt  { font-family: "Courier New", Courier, monospace;}\r
+\r
+/* end font face declarations */\r
+\r
+@media print {\r
+       html { font-size: 12pt }\r
+}\r
+\r
+body        { font-size: 83%; background: #FFFFFF; margin-bottom: 1em }\r
+h1           { font-size: 180%; margin-top: 5px; margin-bottom: 1px }  \r
+h2           { font-size: 140%; margin-top: 25px; margin-bottom: 3px }\r
+h3           { font-size: 110%; margin-top: 20px; margin-bottom: 3px }\r
+h4           { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic }\r
+p            { margin-top: 10px; margin-bottom: 10px }\r
+pre          { font-size: 93%; margin-left: 6; color: #4444CC }\r
+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 }\r
+code, tt     { font-size: 93%; } \r
+table        { font-size: 100% } /* needed for quirks mode */\r
+a:link      { color: #0000FF }\r
+a:hover             { color: #000080 }\r
+a:visited    { text-decoration: underline }\r
+ul          { margin-top: 10px; margin-bottom: 10px; }\r
+li          { margin-top: 5px; margin-bottom: 5px; } \r
+li p        { margin-top: 5px; margin-bottom: 5px; }\r
+ol          { margin-top: 10px; margin-bottom: 10px; }\r
+dl          { margin-top: 10px; margin-bottom: 10px; }\r
+dt          { margin-top: 5px; margin-bottom: 5px; font-weight: bold; }\r
+dd          { margin-top: 5px; margin-bottom: 5px; }\r
+strong      { font-weight: bold}\r
+em          { font-style: italic}\r
+var         { font-style: italic}\r
+div.revision { border-left-style: solid; border-left-width: thin; \r
+                                  border-left-color: #7B68EE; padding-left:5 }\r
+th          { font-weight: bold }\r