summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/html/ed_styles/FormatElect.css35
-rw-r--r--doc/html/ed_styles/FormatPrint.css58
-rw-r--r--doc/html/ed_styles/GenElect.css35
-rw-r--r--doc/html/ed_styles/GenPrint.css58
-rw-r--r--doc/html/ed_styles/IndexElect.css35
-rw-r--r--doc/html/ed_styles/IndexPrint.css58
-rw-r--r--doc/html/ed_styles/IntroElect.css35
-rw-r--r--doc/html/ed_styles/IntroPrint.css58
-rw-r--r--doc/html/ed_styles/RMelect.css35
-rw-r--r--doc/html/ed_styles/RMprint.css58
-rw-r--r--doc/html/ed_styles/UGelect.css35
-rw-r--r--doc/html/ed_styles/UGprint.css58
12 files changed, 558 insertions, 0 deletions
diff --git a/doc/html/ed_styles/FormatElect.css b/doc/html/ed_styles/FormatElect.css
new file mode 100644
index 0000000..cd181cd
--- /dev/null
+++ b/doc/html/ed_styles/FormatElect.css
@@ -0,0 +1,35 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ }
+
+A, a {
+ }
+
+H1, h1 {
+ text-align: center
+ }
+
+H2, h2 {
+ }
+
+H3, h3 {
+ }
+
+H4, h4 {
+ }
+
+H5, h5 {
+ }
+
+code, CODE {
+ }
+
+pre, PRE {
+ }
+
+.smallType {
+ font-size: smaller;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/FormatPrint.css b/doc/html/ed_styles/FormatPrint.css
new file mode 100644
index 0000000..6b25a73
--- /dev/null
+++ b/doc/html/ed_styles/FormatPrint.css
@@ -0,0 +1,58 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 11pt;
+ }
+
+A, a {
+ color: black;
+ text-decoration: none;
+ }
+
+H1, h1 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 18pt;
+ font-weight: bold;
+ text-align: center
+ }
+
+H2, h2 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 16pt;
+ font-weight: bold;
+ }
+
+H3, h3 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 14pt;
+ font-weight: bold;
+ }
+
+H4, h4 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 12pt;
+ font-weight: bold;
+ }
+
+H5, h5 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 10pt;
+ font-weight: bold;
+ }
+
+code, CODE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 9pt;
+ }
+
+pre, PRE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 8pt;
+ }
+
+.smallType {
+ font-size: 9pt;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/GenElect.css b/doc/html/ed_styles/GenElect.css
new file mode 100644
index 0000000..cd181cd
--- /dev/null
+++ b/doc/html/ed_styles/GenElect.css
@@ -0,0 +1,35 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ }
+
+A, a {
+ }
+
+H1, h1 {
+ text-align: center
+ }
+
+H2, h2 {
+ }
+
+H3, h3 {
+ }
+
+H4, h4 {
+ }
+
+H5, h5 {
+ }
+
+code, CODE {
+ }
+
+pre, PRE {
+ }
+
+.smallType {
+ font-size: smaller;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/GenPrint.css b/doc/html/ed_styles/GenPrint.css
new file mode 100644
index 0000000..6b25a73
--- /dev/null
+++ b/doc/html/ed_styles/GenPrint.css
@@ -0,0 +1,58 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 11pt;
+ }
+
+A, a {
+ color: black;
+ text-decoration: none;
+ }
+
+H1, h1 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 18pt;
+ font-weight: bold;
+ text-align: center
+ }
+
+H2, h2 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 16pt;
+ font-weight: bold;
+ }
+
+H3, h3 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 14pt;
+ font-weight: bold;
+ }
+
+H4, h4 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 12pt;
+ font-weight: bold;
+ }
+
+H5, h5 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 10pt;
+ font-weight: bold;
+ }
+
+code, CODE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 9pt;
+ }
+
+pre, PRE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 8pt;
+ }
+
+.smallType {
+ font-size: 9pt;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/IndexElect.css b/doc/html/ed_styles/IndexElect.css
new file mode 100644
index 0000000..cd181cd
--- /dev/null
+++ b/doc/html/ed_styles/IndexElect.css
@@ -0,0 +1,35 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ }
+
+A, a {
+ }
+
+H1, h1 {
+ text-align: center
+ }
+
+H2, h2 {
+ }
+
+H3, h3 {
+ }
+
+H4, h4 {
+ }
+
+H5, h5 {
+ }
+
+code, CODE {
+ }
+
+pre, PRE {
+ }
+
+.smallType {
+ font-size: smaller;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/IndexPrint.css b/doc/html/ed_styles/IndexPrint.css
new file mode 100644
index 0000000..6b25a73
--- /dev/null
+++ b/doc/html/ed_styles/IndexPrint.css
@@ -0,0 +1,58 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 11pt;
+ }
+
+A, a {
+ color: black;
+ text-decoration: none;
+ }
+
+H1, h1 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 18pt;
+ font-weight: bold;
+ text-align: center
+ }
+
+H2, h2 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 16pt;
+ font-weight: bold;
+ }
+
+H3, h3 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 14pt;
+ font-weight: bold;
+ }
+
+H4, h4 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 12pt;
+ font-weight: bold;
+ }
+
+H5, h5 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 10pt;
+ font-weight: bold;
+ }
+
+code, CODE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 9pt;
+ }
+
+pre, PRE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 8pt;
+ }
+
+.smallType {
+ font-size: 9pt;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/IntroElect.css b/doc/html/ed_styles/IntroElect.css
new file mode 100644
index 0000000..cd181cd
--- /dev/null
+++ b/doc/html/ed_styles/IntroElect.css
@@ -0,0 +1,35 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ }
+
+A, a {
+ }
+
+H1, h1 {
+ text-align: center
+ }
+
+H2, h2 {
+ }
+
+H3, h3 {
+ }
+
+H4, h4 {
+ }
+
+H5, h5 {
+ }
+
+code, CODE {
+ }
+
+pre, PRE {
+ }
+
+.smallType {
+ font-size: smaller;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/IntroPrint.css b/doc/html/ed_styles/IntroPrint.css
new file mode 100644
index 0000000..6b25a73
--- /dev/null
+++ b/doc/html/ed_styles/IntroPrint.css
@@ -0,0 +1,58 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 11pt;
+ }
+
+A, a {
+ color: black;
+ text-decoration: none;
+ }
+
+H1, h1 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 18pt;
+ font-weight: bold;
+ text-align: center
+ }
+
+H2, h2 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 16pt;
+ font-weight: bold;
+ }
+
+H3, h3 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 14pt;
+ font-weight: bold;
+ }
+
+H4, h4 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 12pt;
+ font-weight: bold;
+ }
+
+H5, h5 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 10pt;
+ font-weight: bold;
+ }
+
+code, CODE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 9pt;
+ }
+
+pre, PRE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 8pt;
+ }
+
+.smallType {
+ font-size: 9pt;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/RMelect.css b/doc/html/ed_styles/RMelect.css
new file mode 100644
index 0000000..cd181cd
--- /dev/null
+++ b/doc/html/ed_styles/RMelect.css
@@ -0,0 +1,35 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ }
+
+A, a {
+ }
+
+H1, h1 {
+ text-align: center
+ }
+
+H2, h2 {
+ }
+
+H3, h3 {
+ }
+
+H4, h4 {
+ }
+
+H5, h5 {
+ }
+
+code, CODE {
+ }
+
+pre, PRE {
+ }
+
+.smallType {
+ font-size: smaller;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/RMprint.css b/doc/html/ed_styles/RMprint.css
new file mode 100644
index 0000000..6b25a73
--- /dev/null
+++ b/doc/html/ed_styles/RMprint.css
@@ -0,0 +1,58 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 11pt;
+ }
+
+A, a {
+ color: black;
+ text-decoration: none;
+ }
+
+H1, h1 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 18pt;
+ font-weight: bold;
+ text-align: center
+ }
+
+H2, h2 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 16pt;
+ font-weight: bold;
+ }
+
+H3, h3 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 14pt;
+ font-weight: bold;
+ }
+
+H4, h4 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 12pt;
+ font-weight: bold;
+ }
+
+H5, h5 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 10pt;
+ font-weight: bold;
+ }
+
+code, CODE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 9pt;
+ }
+
+pre, PRE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 8pt;
+ }
+
+.smallType {
+ font-size: 9pt;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/UGelect.css b/doc/html/ed_styles/UGelect.css
new file mode 100644
index 0000000..cd181cd
--- /dev/null
+++ b/doc/html/ed_styles/UGelect.css
@@ -0,0 +1,35 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ }
+
+A, a {
+ }
+
+H1, h1 {
+ text-align: center
+ }
+
+H2, h2 {
+ }
+
+H3, h3 {
+ }
+
+H4, h4 {
+ }
+
+H5, h5 {
+ }
+
+code, CODE {
+ }
+
+pre, PRE {
+ }
+
+.smallType {
+ font-size: smaller;
+ }
+
+</STYLE> \ No newline at end of file
diff --git a/doc/html/ed_styles/UGprint.css b/doc/html/ed_styles/UGprint.css
new file mode 100644
index 0000000..6b25a73
--- /dev/null
+++ b/doc/html/ed_styles/UGprint.css
@@ -0,0 +1,58 @@
+<STYLE TYPE="text/css">
+
+P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 11pt;
+ }
+
+A, a {
+ color: black;
+ text-decoration: none;
+ }
+
+H1, h1 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 18pt;
+ font-weight: bold;
+ text-align: center
+ }
+
+H2, h2 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 16pt;
+ font-weight: bold;
+ }
+
+H3, h3 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 14pt;
+ font-weight: bold;
+ }
+
+H4, h4 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 12pt;
+ font-weight: bold;
+ }
+
+H5, h5 {
+ font-family: garamond, "times new roman", times, serif;
+ font-size: 10pt;
+ font-weight: bold;
+ }
+
+code, CODE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 9pt;
+ }
+
+pre, PRE {
+ font-family: "Courier New", Courier, Monospace;
+ font-size: 8pt;
+ }
+
+.smallType {
+ font-size: 9pt;
+ }
+
+</STYLE> \ No newline at end of file