deplate 0.8.1 → 0.8.2

Sign up to get free protection for your applications and to get access to all the features.
Files changed (51) hide show
  1. data/AUTHORS.TXT +2 -1
  2. data/CHANGES.TXT +56 -211
  3. data/NEWS.TXT +15 -38
  4. data/VERSION.TXT +1 -1
  5. data/bin/deplate +0 -0
  6. data/bin/deplate.bat +0 -0
  7. data/etc/deplate.ini +11 -0
  8. data/lib/deplate/commands.rb +8 -3
  9. data/lib/deplate/common.rb +2 -2
  10. data/lib/deplate/core.rb +157 -45
  11. data/lib/deplate/css/article.css +19 -3
  12. data/lib/deplate/css/doc.css +770 -0
  13. data/lib/deplate/elements.rb +7 -7
  14. data/lib/deplate/ents/general-latin1.entities +100 -0
  15. data/lib/deplate/ents/general-utf-8.entities +252 -0
  16. data/lib/deplate/external.rb +3 -2
  17. data/lib/deplate/fmt/html.rb +12 -10
  18. data/lib/deplate/fmt/latex.rb +25 -14
  19. data/lib/deplate/fmt/plain.rb +4 -5
  20. data/lib/deplate/fmt/xhtml11m.rb +25 -0
  21. data/lib/deplate/formatter.rb +106 -32
  22. data/lib/deplate/input.rb +8 -7
  23. data/lib/deplate/lib/Makefile.config +11 -1
  24. data/lib/deplate/locale/de.latin1 +9 -0
  25. data/lib/deplate/macros.rb +23 -18
  26. data/lib/deplate/mod/code-coderay.rb +45 -0
  27. data/lib/deplate/mod/code-gvim.rb +3 -2
  28. data/lib/deplate/mod/code-gvim71.rb +3 -6
  29. data/lib/deplate/mod/code-highlight.rb +3 -2
  30. data/lib/deplate/mod/entities-decode.rb +72 -0
  31. data/lib/deplate/mod/entities-encode.rb +50 -0
  32. data/lib/deplate/mod/guesslanguage.rb +3 -3
  33. data/lib/deplate/mod/html-jsmath.rb +5 -5
  34. data/lib/deplate/mod/html-mathml.rb +40 -0
  35. data/lib/deplate/mod/latex-styles.rb +21 -11
  36. data/lib/deplate/mod/makefile.rb +21 -11
  37. data/lib/deplate/mod/markup-1.rb +3 -3
  38. data/lib/deplate/mod/particle-math.rb +15 -6
  39. data/lib/deplate/particles.rb +2 -2
  40. data/lib/deplate/regions.rb +50 -15
  41. data/lib/deplate/template.rb +7 -2
  42. data/lib/deplate/themes/presentation.html/css/highstep.css +29 -0
  43. data/lib/deplate/themes/presentation.html/css/presentation.css +206 -0
  44. data/lib/deplate/themes/presentation.html/css/website.css +281 -0
  45. data/lib/deplate/themes/presentation.html/prelude.txt +19 -0
  46. data/lib/deplate/themes/presentation.html/resources/spacer.png +0 -0
  47. data/lib/deplate/themes/presentation.html/templates/presentation.html +26 -0
  48. data/lib/deplate/themes/presentation.html/theme.ini +20 -0
  49. data/man/man1/deplate.1 +147 -73
  50. metadata +67 -40
  51. data/bin/deplate.exy +0 -192
data/lib/deplate/themes/presentation.html/css/presentation.css ADDED
@@ -0,0 +1,206 @@
1
+ /* Text style: sans-serif */
2
+ /* @Author: Thomas Link (samul AT web.de) */
3
+ /* @Created: 13-Apr-2004. */
4
+ /* @Last Change: 2008-07-06. */
5
+ /* @Revision: 0.636 */
6
+
7
+ body, table, div {
8
+ /* font-family: Georgia, Bookman, Times, Serif; */
9
+ font-family: Georgia, Minion Web, Palatino, "Book Antiqua", Utopia, "Times New Roman", serif;
10
+ /* font-size-adjust: .5; */
11
+ font-size: 28px;
12
+ /* line-height: 1.3em */
13
+ }
14
+
15
+ big {
16
+ font-weight: bolder;
17
+ }
18
+
19
+ h1, h2, h3, h4, h5, h6 {
20
+ /* font-family : Georgia, Bookman, Times, Serif; */
21
+ /* font-family : Verdana, Monaco, Sans-Serif; */
22
+ font-family: Verdana, "Myriad Web", Syntax, sans-serif;
23
+ font-weight: bold;
24
+ }
25
+ h1 {
26
+ font-size: 56px;
27
+ }
28
+ h2 {
29
+ font-size: 48px;
30
+ }
31
+ h3 {
32
+ font-size: 40px;
33
+ }
34
+ h4 {
35
+ font-size: 36px;
36
+ }
37
+ h5 {
38
+ font-size: 32px;
39
+ }
40
+ h6 {
41
+ font-size: 32px;
42
+ }
43
+
44
+ tr.head, tr.foot, tr.high, th, td.foot, td.high {
45
+ font-weight: bold;
46
+ }
47
+ td[class~="head"], td[class~="foot"] {
48
+ font-weight: bold;
49
+ }
50
+ div.tableNote {
51
+ font-size: 24px;
52
+ font-style: italic;
53
+ }
54
+ .small {
55
+ font-size: 22px;
56
+ }
57
+ .scriptsize {
58
+ font-size: 20px;
59
+ }
60
+ .footnotesize {
61
+ font-size: 18px;
62
+ }
63
+
64
+ blockquote {
65
+ font-family: Sans-Serif;
66
+ }
67
+ blockquote.quote {
68
+ }
69
+ blockquote.longquote {
70
+ }
71
+ blockquote.abstract {
72
+ font-style: italic;
73
+ }
74
+
75
+ dt {
76
+ font-weight: bold;
77
+ }
78
+
79
+ code, pre {
80
+ font-family: 'Monotype.com', "Courier New", Courier, Monospace;
81
+ font-size-adjust: -.5;
82
+ }
83
+ /* pre { */
84
+ /* font-size: 24px; */
85
+ /* } */
86
+
87
+
88
+ /* htmlnavigation: Usage note */
89
+
90
+
91
+ /* Navigation bar */
92
+ a:link.navbar, a:visited.navbar, a:link.navbarUrl, a:visited.navbarUrl {
93
+ text-decoration: none;
94
+ font-size: 24px;
95
+ }
96
+ select.navmenu {
97
+ font-size:18px;
98
+ }
99
+ p.navgo {
100
+ font-size:18px;
101
+ }
102
+
103
+
104
+ /* Figure */
105
+
106
+
107
+ /* Caption */
108
+ caption, p.caption {
109
+ font-weight: bold;
110
+ }
111
+
112
+ /* Title */
113
+ p.title, p.author, p.authornote, p.date {
114
+ font-family: Verdana, "Myriad Web", Syntax, sans-serif;
115
+ font-weight: bold;
116
+ }
117
+ p.title {
118
+ font-size: 56px;
119
+ }
120
+ p.author {
121
+ font-size: 48px;
122
+ }
123
+ p.authornote {
124
+ font-size: 36px;
125
+ }
126
+ p.date {
127
+ font-size: 36px;
128
+ }
129
+
130
+
131
+ /* Table of Contents etc. */
132
+
133
+
134
+ /* Mini Table of Contents */
135
+
136
+
137
+ /* Footnotes */
138
+ a:link.footnote, a:visited.footnote {
139
+ font-size: 18px;
140
+ text-decoration: none;
141
+ }
142
+ p.footnotes, ol.footnotes, li.footnotes {
143
+ font-size: 24px;
144
+ }
145
+ p.footnotes {
146
+ font-weight: bold;
147
+ }
148
+
149
+
150
+ /* OpenOffice compatible footnotes */
151
+ .sdfootnoteanc {
152
+ font-size: 18px;
153
+ }
154
+ .sdfootnotesym, .sdfootnote {
155
+ font-size: 24px;
156
+ }
157
+
158
+
159
+ /* Bibliography */
160
+
161
+
162
+ /* Index */
163
+
164
+
165
+ /* Marker */
166
+ div.note, div.warning, div.caution, div.important {
167
+ font-family: Verdana, "Myriad Web", Syntax, sans-serif;
168
+ font-size: 24px;
169
+ }
170
+
171
+
172
+ /* Header, Footer */
173
+ .header, .footer {
174
+ font-family: Verdana, "Myriad Web", Syntax, sans-serif;
175
+ font-size: 18px;
176
+ }
177
+
178
+
179
+ /* Validate HTML */
180
+
181
+
182
+ /* TabBar */
183
+ .tabBarLeft, .tabBarRight, .tabBarTop, .tabBarBottom {
184
+ font-size: 20px;
185
+ }
186
+ a.tabBarEntry {
187
+ text-decoration: none;
188
+ font-family: Verdana, "Myriad Web", Syntax, sans-serif;
189
+ }
190
+
191
+ /* ProgressBar */
192
+ span.progress {
193
+ font-size: 20px;
194
+ }
195
+
196
+ input, textarea {
197
+ font-family: Georgia, Minion Web, Palatino, "Book Antiqua", Utopia, "Times New Roman", serif;
198
+ font-size: 90%;
199
+ line-height: 135%;
200
+ }
201
+
202
+
203
+ p.comments {
204
+ font-size: 20px;
205
+ }
206
+
data/lib/deplate/themes/presentation.html/css/website.css ADDED
@@ -0,0 +1,281 @@
1
+ @import url(doc.css);
2
+
3
+ body {
4
+ /* background: url(ecke_or.gif) top left no-repeat; */
5
+ background-color: #eeeeee;
6
+ padding: 10px;
7
+ margin: 10px;
8
+ }
9
+
10
+ #pageFrame {
11
+ }
12
+ #pageNavigation {
13
+ vertical-align: middle;
14
+ padding: 0 10px 0 10px;
15
+ margin: 0 10px 0 10px;
16
+ }
17
+ #pageBodyFrame {
18
+ margin: 0;
19
+ padding: 0;
20
+ }
21
+ #pageBodyText {
22
+ text-align: left;
23
+ vertical-align: top;
24
+ padding: 0 10px 0 10px;
25
+ margin: 0 10px 0 10px;
26
+ }
27
+ div.pagebody {
28
+ /* border-left: 1px solid #aaaaaa; */
29
+ /* border: 1px solid #aaaaaa; */
30
+ border-left: 1px solid #aaaaaa;
31
+ border-bottom: 1px solid #aaaaaa;
32
+ border-right: 1px solid #aaaaaa;
33
+ min-height: 500px;
34
+ background-color: #ffffff;
35
+ }
36
+
37
+ .navbar, .navmenu, .navgo {
38
+ vertical-align: middle;
39
+ border: 0;
40
+ margin: 0;
41
+ padding: 0;
42
+ background-color: #eeeeee;
43
+ /* opacity: 0.8; */
44
+ }
45
+ table.navbar {
46
+ width: 100%;
47
+ border: 0;
48
+ }
49
+ td.navbar {
50
+ vertical-align: middle;
51
+ text-align: center;
52
+ }
53
+ td.navmenu {
54
+ vertical-align: middle;
55
+ width: 80%;
56
+ text-align: left;
57
+ }
58
+ select.navmenu {
59
+ width:250px;
60
+ border:0;
61
+ padding: 2px;
62
+ /* background-color: #fff2df; */
63
+ }
64
+
65
+ h1, h2, h3, h4, h5, h6 {
66
+ background-color: #f5f5f5;
67
+ /* background-color: #eeeeee; */
68
+ color: #2f2f5f;
69
+ border: 1px solid #aaaaaa;
70
+ /* border: 0; */
71
+ /* border-top: 1px solid #ffffff; */
72
+ /* border-left: 1px solid #ffffff; */
73
+ /* border-right: 1px solid #aaaaaa; */
74
+ /* border-bottom: 1px solid #aaaaaa; */
75
+ margin: 0;
76
+ /* padding: 10px 10px 20px 10px; */
77
+ padding: 20px;
78
+ }
79
+ h1 {
80
+ font-size: 48px;
81
+ }
82
+ h2 {
83
+ font-size: 40px;
84
+ }
85
+ h3 {
86
+ font-size: 32px;
87
+ }
88
+ h4 {
89
+ font-size: 24px;
90
+ }
91
+ h5 {
92
+ font-size: 16px;
93
+ }
94
+ h6 {
95
+ font-size: 16px;
96
+ }
97
+
98
+ h1:before {
99
+ content: ": ";
100
+ }
101
+ h2:before {
102
+ content: ":: ";
103
+ }
104
+ h3:before {
105
+ content: "::: ";
106
+ }
107
+ h4:before {
108
+ content: ":::: ";
109
+ }
110
+
111
+ p, ul, ol, dl {
112
+ background: #ffffff;
113
+ /* margin: 0 10px 0 10px; */
114
+ margin: 0;
115
+ }
116
+ p {
117
+ padding: 5px 40px 5px 40px;
118
+ }
119
+ p.bib {
120
+ margin: 0;
121
+ /* padding: 0; */
122
+ text-indent: 0;
123
+ }
124
+
125
+ ul {
126
+ padding: 5px 40px 5px 40px;
127
+ }
128
+ ol {
129
+ padding: 5px 40px 5px 40px;
130
+ }
131
+ dl {
132
+ padding: 5px 40px 5px 25px;
133
+ }
134
+ dt {
135
+ padding: 2px 2px 2px 2px;
136
+ margin: 0;
137
+ }
138
+ dd {
139
+ padding: 2px 2px 2px 20px;
140
+ margin: 0;
141
+ }
142
+ li {
143
+ padding: 2px;
144
+ margin: 0;
145
+ }
146
+
147
+ .meinung {
148
+ position: absolute;
149
+ right: 50px;
150
+ }
151
+ span.redner {
152
+ font-weight: bold;
153
+ background-color: #2f2f5f;
154
+ color: #aaaaaa;
155
+ padding: 1px 5px 1px 5px;
156
+ font-family: Verdana, "Myriad Web", Syntax, sans-serif;
157
+ }
158
+ span.student {
159
+ color: #aaaaaa;
160
+ }
161
+ span.lehrer {
162
+ color: #b9dfff;
163
+ }
164
+ span.frage {
165
+ color: #ff7979;
166
+ }
167
+
168
+ span.highlight {
169
+ background-color: #ffffaf;
170
+ font-style: normal;
171
+ /* font-weight: bold; */
172
+ border: 1px dotted #cfcfff;
173
+ padding: 0 1px 0 1px;
174
+ }
175
+
176
+ div.title {
177
+ text-align: left;
178
+ padding: 20px;
179
+ margin: 0;
180
+ color: #2f2f5f;
181
+ /* background-color: #eeeeee; */
182
+ background-color: #f5f5f5;
183
+ border: 1px solid #aaaaaa;
184
+ /* border-top: 1px solid #ffffff; */
185
+ /* border-left: 1px solid #ffffff; */
186
+ /* border-right: 1px solid #aaaaaa; */
187
+ /* border-bottom: 1px solid #aaaaaa; */
188
+ /* border: 0; */
189
+ /* border-right: 1px solid #aaaaaa; */
190
+ /* border-bottom: 1px solid #aaaaaa; */
191
+ }
192
+ p.title, p.author, p.authornote, p.date {
193
+ /* background-color: #eeeeee; */
194
+ background-color: #f5f5f5;
195
+ }
196
+
197
+ div.toc, div.lot, div.lof {
198
+ margin: 0;
199
+ padding: 20px;
200
+ background: #ffffff;
201
+ border-left: 1px solid #aaaaaa;
202
+ border-bottom: 1px solid #aaaaaa;
203
+ border-right: 1px solid #aaaaaa;
204
+ }
205
+ ul.toc, ul.lot, ul.lof {
206
+ }
207
+ li.toc, li.lot, li.lof {
208
+ list-style-type : none;
209
+ padding: 1px;
210
+ }
211
+ div.Table_of_Contents {
212
+ margin: 0;
213
+ padding: 0;
214
+ }
215
+ blockquote {
216
+ margin: 0;
217
+ /* padding: 0; */
218
+ padding: 20px 0 20px 0;
219
+ background: #ffffff;
220
+ }
221
+
222
+ div.comment {
223
+ margin: 40px 80px 10px 80px;
224
+ color: #2f2f5f;
225
+ font-size: 80%;
226
+ line-height: 135%;
227
+ }
228
+ span.comment_author {
229
+ font-weight: bold;
230
+ }
231
+ span.comment_author:after {
232
+ content: ": ";
233
+ }
234
+ span.comment_subject {
235
+ font-weight: bold;
236
+ }
237
+ span.comment_date {
238
+ font-style: italic;
239
+ font-size: 70%;
240
+ }
241
+ div.comment_title {
242
+ }
243
+ div.comment_text {
244
+ margin: 0 0 0 20px;
245
+ }
246
+ div.comment_form {
247
+ margin: 80px 80px 5px 80px;
248
+ }
249
+ table.comment_form {
250
+ background-color: #eeeeee;
251
+ border: 0;
252
+ }
253
+ tr.comment_form {
254
+ background-color: #eeeeee;
255
+ border: 0;
256
+ }
257
+ td.comment_form {
258
+ background-color: #eeeeee;
259
+ color: #2f2f5f;
260
+ border: 0;
261
+ vertical-align: top;
262
+ font-size: 80%;
263
+ line-height: 135%;
264
+ }
265
+
266
+ input, textarea {
267
+ font-family: Georgia, Minion Web, Palatino, "Book Antiqua", Utopia, "Times New Roman", serif;
268
+ border: 1px solid #2f2f5f;
269
+ background-color: #fff2df;
270
+ font-size: 90%;
271
+ line-height: 135%;
272
+ }
273
+ button {
274
+ font-size: 90%;
275
+ line-height: 135%;
276
+ }
277
+
278
+ .background, .footer {
279
+ background-color: #eeeeee;
280
+ }
281
+