![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to style.m CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / monk / db|
Return to style.m CVS log | Up to [Research Unix] / researchv10no / cmd / monk / db |
1.1 root 1: |associate(style;;;
2:
3: [one_column;;
4: column off]
5: [multi_column;;
6: column on]
7: [two_column;;
8: column 2]
9: [page_width $;;
10: line.length $]
11: [page_length $;;
12: page.length $]
13: [page_offset $;;
14: page.offset $]
15: [font_size 1;;
16: inline off, size 1, inline on, space 3]
17: [font_size 2;;
18: inline off, size 2, inline on, space 4]
19: [font_size 3;;
20: inline off, size 3, inline on, space 5]
21: [font_size 4;;
22: inline off, size 4, inline on, space 6]
23: [font_size 5;;
24: inline off, size 5, inline on, space 7]
25: [font_size 6;;
26: inline off, size 6, inline on, space 8]
27: [font_size 7;;
28: inline off, size 7, inline on, space 9]
29: [font_size 8;;
30: inline off, size 8, inline on, space 10]
31: [font_size 9;;
32: inline off, size 9, inline on, space 11]
33: [font_size 10;;
34: inline off, size 10, inline on, space 12]
35: [font_size 11;;
36: inline off, size 11, inline on, space 13]
37: [font_size 12;;
38: inline off, size 12, inline on, space 14]
39: [font_size 13;;
40: inline off, size 13, inline on, space 15]
41: [font_size 14;;
42: inline off, size 14, inline on, space 16]
43: [font_size 15;;
44: inline off, size 15, inline on, space 17]
45: [font_size 16;;
46: inline off, size 16, inline on, space 18]
47: [font_size 17;;
48: inline off, size 17, inline on, space 19]
49: [font_size 18;;
50: inline off, size 18, inline on, space 20]
51: [font_size 19;;
52: inline off, size 19, inline on, space 21]
53: [font_size 20;;
54: inline off, size 20, inline on, space 22]
55: [font_size 21;;
56: inline off, size 21, inline on, space 23]
57: [font_size 22;;
58: inline off, size 22, inline on, space 24]
59: [font_size 23;;
60: inline off, size 23, inline on, space 25]
61: [font_size 24;;
62: inline off, size 24, inline on, space 26]
63: [font_size 25;;
64: inline off, size 25, inline on, space 27]
65: [font_size 26;;
66: inline off, size 26, inline on, space 28]
67: [font_size 27;;
68: inline off, size 27, inline on, space 29]
69: [font_size 28;;
70: inline off, size 28, inline on, space 30]
71: [font_size 29;;
72: inline off, size 29, inline on, space 31]
73: [font_size 30;;
74: inline off, size 30, inline on, space 32]
75: [font_size 31;;
76: inline off, size 31, inline on, space 33]
77: [font_size 32;;
78: inline off, size 32, inline on, space 34]
79: [font_size 33;;
80: inline off, size 33, inline on, space 35]
81: [font_size 34;;
82: inline off, size 34, inline on, space 36]
83: [font_size 35;;
84: inline off, size 35, inline on, space 37]
85: [font_size 36;;
86: inline off, size 36, inline on, space 38]
87: [font_size 1 1;;
88: inline off, size 1, inline on, space 1]
89: [font_size 2 2;;
90: inline off, size 2, inline on, space 2]
91: [font_size 3 3;;
92: inline off, size 3, inline on, space 3]
93: [font_size 4 4;;
94: inline off, size 4, inline on, space 4]
95: [font_size 5 5;;
96: inline off, size 5, inline on, space 5]
97: [font_size 6 6;;
98: inline off, size 6, inline on, space 6]
99: [font_size 7 7;;
100: inline off, size 7, inline on, space 7]
101: [font_size 8 8;;
102: inline off, size 8, inline on, space 8]
103: [font_size 9 9;;
104: inline off, size 9, inline on, space 9]
105: [font_size 10 10;;
106: inline off, size 10, inline on, space 10]
107: [font_size 11 11;;
108: inline off, size 11, inline on, space 11]
109: [font_size 12 12;;
110: inline off, size 12, inline on, space 12]
111: [font_size 13 13;;
112: inline off, size 13, inline on, space 13]
113: [font_size 14 14;;
114: inline off, size 14, inline on, space 14]
115: [font_size 15 15;;
116: inline off, size 15, inline on, space 15]
117: [font_size 16 16;;
118: inline off, size 16, inline on, space 16]
119: [font_size 17 17;;
120: inline off, size 17, inline on, space 17]
121: [font_size 18 18;;
122: inline off, size 18, inline on, space 18]
123: [font_size 19 19;;
124: inline off, size 19, inline on, space 19]
125: [font_size 20 20;;
126: inline off, size 20, inline on, space 20]
127: [font_size 21 21;;
128: inline off, size 21, inline on, space 21]
129: [font_size 22 22;;
130: inline off, size 22, inline on, space 22]
131: [font_size 23 23;;
132: inline off, size 23, inline on, space 23]
133: [font_size 24 24;;
134: inline off, size 24, inline on, space 24]
135: [font_size 25 25;;
136: inline off, size 25, inline on, space 25]
137: [font_size 26 26;;
138: inline off, size 26, inline on, space 26]
139: [font_size 27 27;;
140: inline off, size 27, inline on, space 27]
141: [font_size 28 28;;
142: inline off, size 28, inline on, space 28]
143: [font_size 29 29;;
144: inline off, size 29, inline on, space 29]
145: [font_size 30 30;;
146: inline off, size 30, inline on, space 30]
147: [font_size 31 31;;
148: inline off, size 31, inline on, space 31]
149: [font_size 32 32;;
150: inline off, size 32, inline on, space 32]
151: [font_size 33 33;;
152: inline off, size 33, inline on, space 33]
153: [font_size 34 34;;
154: inline off, size 34, inline on, space 34]
155: [font_size 35 35;;
156: inline off, size 35, inline on, space 35]
157: [font_size 36 36;;
158: inline off, size 36, inline on, space 36]
159: [font_size 1 2;;
160: inline off, size 1, inline on, space 2]
161: [font_size 2 3;;
162: inline off, size 2, inline on, space 3]
163: [font_size 3 4;;
164: inline off, size 3, inline on, space 4]
165: [font_size 4 5;;
166: inline off, size 4, inline on, space 5]
167: [font_size 5 6;;
168: inline off, size 5, inline on, space 6]
169: [font_size 6 7;;
170: inline off, size 6, inline on, space 7]
171: [font_size 7 8;;
172: inline off, size 7, inline on, space 8]
173: [font_size 8 9;;
174: inline off, size 8, inline on, space 9]
175: [font_size 9 10;;
176: inline off, size 9, inline on, space 10]
177: [font_size 10 11;;
178: inline off, size 10, inline on, space 11]
179: [font_size 11 12;;
180: inline off, size 11, inline on, space 12]
181: [font_size 12 13;;
182: inline off, size 12, inline on, space 13]
183: [font_size 13 14;;
184: inline off, size 13, inline on, space 14]
185: [font_size 14 15;;
186: inline off, size 14, inline on, space 15]
187: [font_size 15 16;;
188: inline off, size 15, inline on, space 16]
189: [font_size 16 17;;
190: inline off, size 16, inline on, space 17]
191: [font_size 17 18;;
192: inline off, size 17, inline on, space 18]
193: [font_size 18 19;;
194: inline off, size 18, inline on, space 19]
195: [font_size 19 20;;
196: inline off, size 19, inline on, space 20]
197: [font_size 20 21;;
198: inline off, size 20, inline on, space 21]
199: [font_size 21 22;;
200: inline off, size 21, inline on, space 22]
201: [font_size 22 23;;
202: inline off, size 22, inline on, space 23]
203: [font_size 23 24;;
204: inline off, size 23, inline on, space 24]
205: [font_size 24 25;;
206: inline off, size 24, inline on, space 25]
207: [font_size 25 26;;
208: inline off, size 25, inline on, space 26]
209: [font_size 26 27;;
210: inline off, size 26, inline on, space 27]
211: [font_size 27 28;;
212: inline off, size 27, inline on, space 28]
213: [font_size 28 29;;
214: inline off, size 28, inline on, space 29]
215: [font_size 29 30;;
216: inline off, size 29, inline on, space 30]
217: [font_size 30 31;;
218: inline off, size 30, inline on, space 31]
219: [font_size 31 32;;
220: inline off, size 31, inline on, space 32]
221: [font_size 32 33;;
222: inline off, size 32, inline on, space 33]
223: [font_size 33 34;;
224: inline off, size 33, inline on, space 34]
225: [font_size 34 35;;
226: inline off, size 34, inline on, space 35]
227: [font_size 35 36;;
228: inline off, size 35, inline on, space 36]
229: [font_size 36 37;;
230: inline off, size 36, inline on, space 37]
231: [font_size 1 3;;
232: inline off, size 1, inline on, space 3]
233: [font_size 2 4;;
234: inline off, size 2, inline on, space 4]
235: [font_size 3 5;;
236: inline off, size 3, inline on, space 5]
237: [font_size 4 6;;
238: inline off, size 4, inline on, space 6]
239: [font_size 5 7;;
240: inline off, size 5, inline on, space 7]
241: [font_size 6 8;;
242: inline off, size 6, inline on, space 8]
243: [font_size 7 9;;
244: inline off, size 7, inline on, space 9]
245: [font_size 8 10;;
246: inline off, size 8, inline on, space 10]
247: [font_size 9 11;;
248: inline off, size 9, inline on, space 11]
249: [font_size 10 12;;
250: inline off, size 10, inline on, space 12]
251: [font_size 11 13;;
252: inline off, size 11, inline on, space 13]
253: [font_size 12 14;;
254: inline off, size 12, inline on, space 14]
255: [font_size 13 15;;
256: inline off, size 13, inline on, space 15]
257: [font_size 14 16;;
258: inline off, size 14, inline on, space 16]
259: [font_size 15 17;;
260: inline off, size 15, inline on, space 17]
261: [font_size 16 18;;
262: inline off, size 16, inline on, space 18]
263: [font_size 17 19;;
264: inline off, size 17, inline on, space 19]
265: [font_size 18 20;;
266: inline off, size 18, inline on, space 20]
267: [font_size 19 21;;
268: inline off, size 19, inline on, space 21]
269: [font_size 20 22;;
270: inline off, size 20, inline on, space 22]
271: [font_size 21 23;;
272: inline off, size 21, inline on, space 23]
273: [font_size 22 24;;
274: inline off, size 22, inline on, space 24]
275: [font_size 23 25;;
276: inline off, size 23, inline on, space 25]
277: [font_size 24 26;;
278: inline off, size 24, inline on, space 26]
279: [font_size 25 27;;
280: inline off, size 25, inline on, space 27]
281: [font_size 26 28;;
282: inline off, size 26, inline on, space 28]
283: [font_size 27 29;;
284: inline off, size 27, inline on, space 29]
285: [font_size 28 30;;
286: inline off, size 28, inline on, space 30]
287: [font_size 29 31;;
288: inline off, size 29, inline on, space 31]
289: [font_size 30 32;;
290: inline off, size 30, inline on, space 32]
291: [font_size 31 33;;
292: inline off, size 31, inline on, space 33]
293: [font_size 32 34;;
294: inline off, size 32, inline on, space 34]
295: [font_size 33 35;;
296: inline off, size 33, inline on, space 35]
297: [font_size 34 36;;
298: inline off, size 34, inline on, space 36]
299: [font_size 35 37;;
300: inline off, size 35, inline on, space 37]
301: [font_size 36 38;;
302: inline off, size 36, inline on, space 38]
303: [font_family times;;
304: font.family times]
305: [font_family palatino;;
306: font.family palatino]
307: [font_family bembo;;
308: font.family bembo]
309: [font_family optima;;
310: font.family optima]
311: [font_family souvenir;;
312: font.family souvenir]
313: [font_family helvetica;;
314: font.family helvetica]
315: [font_family cw;;
316: font.family cw]
317: [font_family gothic;;
318: font.family gothic]
319: [font_family condensed;;
320: font.family condensed]
321: [font_family narrow;;
322: font.family narrow]
323: [triple_space;;
324: line.spacing 3]
325: [double_space;;
326: line.spacing 2]
327: [1_5_space;;
328: line.spacing 1.5]
329: [single_space;;
330: line.spacing 1]
331: [paragraph_style indented;;
332: globalparagraph.style indented, localparagraph.style indented]
333: [paragraph_style numbered;;
334: globalparagraph.style numbered, localparagraph.style numbered]
335: [paragraph_style flushed;;
336: globalparagraph.style flushed, localparagraph.style flushed]
337: [list_spacing on;;
338: list.spacing on]
339: [list_spacing off;;
340: list.spacing off]
341: [reference acm;;
342: reference.style acm]
343: [reference apa;;
344: reference.style apa]
345: [reference att;;
346: reference.style att]
347: [reference ieee;;
348: reference.style ieee]
349: [reference lsa;;
350: reference.style lsa]
351: [reference pami;;
352: reference.style pami]
353: [reference spectrum;;
354: reference.style spectrum]
355: [reference_option tm;;
356: reference.option tm]
357: [reference_option rp;;
358: reference.option rp]
359: [reference_option nroff;;
360: reference.option nroff]
361: [reference_option troff;;
362: reference.option troff]
363: [reference_option sort;;
364: reference.option sort]
365: [reference_option sequence;;
366: reference.option sequence]
367: [reference_option a;;
368: reference.option a]
369: [reference_option d;;
370: reference.option d]
371: [reference_option t;;
372: reference.option t]
373: [reference_option ad;;
374: reference.option ad]
375: [reference_option at;;
376: reference.option at]
377: [reference_option da;;
378: reference.option da]
379: [reference_option dt;;
380: reference.option dt]
381: [reference_option ta;;
382: reference.option ta]
383: [reference_option td;;
384: reference.option td]
385: [reference_option adt;;
386: reference.option adt]
387: [reference_option atd;;
388: reference.option atd]
389: [reference_option dat;;
390: reference.option dat]
391: [reference_option dta;;
392: reference.option dta]
393: [reference_option tad;;
394: reference.option tad]
395: [reference_option tda;;
396: reference.option tda]
397: [page_number roman;;
398: number format page_counter i]
399: [page_number arabic;;
400: number format page_counter 1])
401: |comment<summary: style one_column (full page output)>
402: |comment<summary: style two_column (two columns per page)>
403: |comment<summary: style multi_column (multiple columns per page)>
404: |comment<summary: style page_width (width of the printed page)>
405: |comment<summary: style page_length (length of the printed page)>
406: |comment<summary: style page_offset (offset of the printed page)>
407: |comment<summary: style font_size (font_size font_spacing)>
408: |comment<summary: style font_family (times, palatino, bembo, optima, souvenir, helvetica, cw, gothic, condensed, narrow)>
409: |comment<summary: style triple_space (triple space)>
410: |comment<summary: style double_space (double space)>
411: |comment<summary: style 1_5_space (1 and a half space)>
412: |comment<summary: style single_space (single space)>
413: |comment<summary: style paragraph_style (indented, numbered, flushed)>
414: |comment<summary: style list_spacing (on, off)>
415: |comment<summary: style reference (acm, apa, att, ieee, lsa, pami, spectrum)>
416: |comment<summary: style reference_option (tm, rp, nroff, troff, sort, sequence, a, d, t, ad, at, da, dt, ta, td, adt, atd, dat, dta, tad, tda)>
417: |comment<summary: style page_number (arabic, roman)>
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.