diff options
| author | kgilmer | 2005-04-23 20:54:49 +0000 |
|---|---|---|
| committer | kgilmer | 2005-04-23 20:54:49 +0000 |
| commit | f93fd71be72c93b4fbc8c1745c81010374b9ee0a (patch) | |
| tree | 7599d5b72be0cace4c190c577cbaf8fee06d877a | |
| parent | bea8c0261730bd595bc5aa41622c5bb944cd5275 (diff) | |
| download | org.eclipse.ecf-f93fd71be72c93b4fbc8c1745c81010374b9ee0a.tar.gz org.eclipse.ecf-f93fd71be72c93b4fbc8c1745c81010374b9ee0a.tar.xz org.eclipse.ecf-f93fd71be72c93b4fbc8c1745c81010374b9ee0a.zip | |
Initial checkin
| -rw-r--r-- | doc/bundles/org.eclipse.ecf.doc/html/gettingstarted/default_style.css | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/bundles/org.eclipse.ecf.doc/html/gettingstarted/default_style.css b/doc/bundles/org.eclipse.ecf.doc/html/gettingstarted/default_style.css new file mode 100644 index 000000000..af2b27a89 --- /dev/null +++ b/doc/bundles/org.eclipse.ecf.doc/html/gettingstarted/default_style.css @@ -0,0 +1,18 @@ +p, table, td, th { font-family: arial, helvetica, geneva; font-size: 10pt}
+pre { font-family: "Courier New", Courier, mono; font-size: 10pt}
+h2 { font-family: arial, helvetica, geneva; font-size: 18pt; font-weight: bold ; line-height: 14px}
+code { font-family: "Courier New", Courier, mono; font-size: 10pt}
+sup { font-family: arial,helvetica,geneva; font-size: 10px}
+h3 { font-family: arial, helvetica, geneva; font-size: 14pt; font-weight: bold}
+li { font-family: arial, helvetica, geneva; font-size: 10pt}
+h1 { font-family: arial, helvetica, geneva; font-size: 28px; font-weight: bold}
+body { font-family: arial, helvetica, geneva; font-size: 10pt; clip: rect( ); margin-top: 5mm; margin-left: 3mm}
+.indextop { font-size: x-large;; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold}
+.indexsub { font-size: xx-small;; font-family: Arial, Helvetica, sans-serif; color: #8080FF}
+a.bar:link { text-decoration: none; color: #FFFFFF}
+a.bar:visited { color: #FFFFFF; text-decoration: none}
+a.bar:hover { color: #FFFFFF; text-decoration: underline}
+a.bar { color: #FFFFFF}
+.jump { font-size: smaller;; font-family: Arial, Helvetica, sans-serif; color: #8080FF ; font-style: normal; text-decoration: none}
+.jump:link { font-size: smaller;; font-family: Arial, Helvetica, sans-serif; color: #8080FF; text-decoration: none}
+.jump:hover { font-size: smaller;; font-family: Arial, Helvetica, sans-serif; color: #0000FF; text-decoration: underline; font-style: normal}
|