diff options
Diffstat (limited to 'doc/html')
| -rw-r--r-- | doc/html/ed_styles/FormatElect.css | 35 | ||||
| -rw-r--r-- | doc/html/ed_styles/FormatPrint.css | 58 | ||||
| -rw-r--r-- | doc/html/ed_styles/GenElect.css | 35 | ||||
| -rw-r--r-- | doc/html/ed_styles/GenPrint.css | 58 | ||||
| -rw-r--r-- | doc/html/ed_styles/IndexElect.css | 35 | ||||
| -rw-r--r-- | doc/html/ed_styles/IndexPrint.css | 58 | ||||
| -rw-r--r-- | doc/html/ed_styles/IntroElect.css | 35 | ||||
| -rw-r--r-- | doc/html/ed_styles/IntroPrint.css | 58 | ||||
| -rw-r--r-- | doc/html/ed_styles/RMelect.css | 35 | ||||
| -rw-r--r-- | doc/html/ed_styles/RMprint.css | 58 | ||||
| -rw-r--r-- | doc/html/ed_styles/UGelect.css | 35 | ||||
| -rw-r--r-- | doc/html/ed_styles/UGprint.css | 58 |
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 |