1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
###############################################################################
#
# Theme file for MLTeX
#
###############################################################################
#
# Background color for document
#
$BACKGROUND_COLOR="#ffffff"; #white
#
# Default text color for document
#
$TEXT_COLOR="#000020"; #very dark blue
#
# Color of page title
#
$TITLE_COLOR="#aa0000"; #dark red
#
# Color of the abstract title
#
$ABSTRACT_TITLE_COLOR="#486591"; #black
#
# Color of each section title
#
$SECTION_COLOR="#486591";
#
# Color of each subsection title
#
$SUBSECTION_COLOR="#486591";
#
# Color of each subsubsection title
#
$SUBSUBSECTION_COLOR="#486591";
#
# Color of each paragraph title
#
$PARAGRAPH_COLOR="#486591";
#
# Colors for macros \newdef and \newtype
#
$NEWDEF_COLOR="#ff0000"; #red
$NEWTYPE_COLOR="#ff0000"; #red
#
# Colors for html links
#
$LINK_COLOR="navy";
$VLINK_COLOR="gray";
$ALINK_COLOR="maroon";
#
# Colors for SML type variables, keywords and identifiers
#
$SML_TYVAR_COLOR="#00aaaa";
$SML_KEYWORD_COLOR="#6060a0";
$SML_IDENT_COLOR="#9c4040";
#
# Color for emphasis
#
$EMPH_COLOR="#ff0000"; #red
#
# Color for description items
#
$DESC_COLOR="#000070"; #blue
#
# Color for captions
#
$CAPTION_COLOR="#007777"; #green/blue
#
# Color of ML code
#
$CODE_COLOR="#000000"; # black
#
# Background color of table of contents
#
$TOC_BACKGROUND_COLOR="#e6e6e6";
$SECTION_TOC_TEXT_COLOR="#486591";
$MAJORSECTION_TEXT_COLOR="ffffff";
$MAJORSECTION_BACKGROUND_COLOR="#486591";
$SECTION_TOC_BACKGROUND_COLOR="#e6e6e6";
$TOC_FACE="hevetica";
$MAX_LOCAL_TOC_ENTRY_LENGTH=40;
$MAX_GLOBAL_TOC_ENTRY_LENGTH=40;
$GLOBAL_TOC_WIDTH=170;
$SCREEN_WIDTH=700;
$TEXT_WIDTH=600;
$TOC_SIZE=-1;
$X_PIXELS = 1024;
$Y_PIXELS = 768;
$IMAGE_SCALING=0.8;
$PAPER_HEIGHT = "11in";
$PAPER_WIDTH = "8.5in";
@AUTHORS=("Lal George", "Allen Leung");
@EMAILS=('george@research.bell-labs.com','leunga@cs.nyu.edu');
$WWWHOST="www.cs.nyu.edu";
$URLPREFIX="leunga/MLRISC/Doc/html/";
1;
|
