![[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.