9 " h1, h2, h3, h4 { font-family: 'Trebuchet MS', arial, verdana, sans-serif; width: 100% }\n"+
10 " h1 { font-size: 20pt; border-top: black 1px solid; }\n"+
11 " h2 { font-size: 16pt; border-top: silver 1px solid; }\n"+
12 " h3 { font-size: 12pt; }\n"+
13 " TH, TD, P, LI, DIV, SPAN {\n"+
14 " font-family: verdana, arial, sans-serif;\n"+
15 " font-size: 12px; \n"+
16 " text-decoration:none; \n"+
18 " LI { margin-top: 5px; }\n"+
19 " body { color: #333333; }\n"+
20 " blockquote { font-style: italic; width: 100% }\n"+
21 " div.warn { border: 1px solid #ff; border-top: 5px solid #ff; background-color: #fbb; color: white; }\n"+
22 " td.warn { color: black; }\n"+
23 " div.announce { border: 1px solid green; background-color: #bfb; color: white; }\n"+
24 " td.announce { color: black; }\n"+
27 " border-top: 1px solid silver;\n"+
28 " font-size: 10px;\n"+
30 " table.blockquote { margin: 5px; border: 1px #e6ddcb solid; background-color: #fbf2e0; width: 100% }\n"+
31 " a:link { text-decoration: none; color: blue; border-bottom:1px dotted; }\n"+
32 " a:visited { text-decoration: none; color: purple; border-bottom:1px dotted; }\n"+
33 " a:active { text-decoration: none; color: red; border-bottom:1px solid; }\n"+
34 " a:hover { text-decoration: none; border-bottom:1px solid; }\n"+
35 " table.footer { border-top: silver solid 1px; }\n"+
36 " span.signature { color: #bbb; }\n"+
37 " .signature a:link { color: #aaf; }\n"+
38 " .signature a:visited { color: #faa; }\n"+
39 " .signature a:hover { color: blue; border-bottom: 1px solid blue; }\n"+
40 " span.highlight { background: yellow; color: black; padding: 3px }\n"+
42 " text-align: left;\n"+
43 " font-family: monospace;\n"+
44 " border-style: none;\n"+
45 " border-width: 2px 2px 2px 2px;\n"+
46 " border-color: #6666aa;\n"+
48 " background-color: #333333;\n"+
49 " margin-right: 25px;\n"+
50 " margin-left: 25px;\n"+
56 "data:image/png;base64,"+
57 "iVBORw0KGgoAAAANSUhEUgAAABAAAAAVCAYAAABPPm7SAAAABmJLR0QA/wD/AP+gvaeTAAAA"+
58 "CXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH1wQPAx0rP5obpAAAAWJJREFUOMvdlKFvg0AU"+
59 "xr8tVZ1cbU+04lUuwc2WypMX9AxiomoJ/RNYqmaaYKpb5kBys1UkWBCdKLqVs8zwFnrQmYol"+
60 "+xLC8X55H/e+wAENhWGoPM/zT6eThQ4lSWJf5EEQuAAqAJXv+95vXCkVtpwZuq4bmM1pmlrM"+
61 "LctKWzuwbTsBUNX3lph3Njfd6/WZ9vv9iHkYhsrkPa21zQ9aa9v3fRsAFovFK9cMPgIApdT7"+
62 "eDz+RB1Y1XEBwEVe54ZbXKm/N7haNwCQ5zmtVqtnE0op49lspgFgPp+/dfF/EGIPAAaDgZBS"+
63 "xgBwPB7vd7vdIwD0+/2v5ry8juNYmgY/P1GWZQ9sQER3XOcwD4fDkA2IqGiNwN8+ERVNY/Pt"+
64 "RFQIIcozg+Vy+VKW5dDcMmuz2ThFURAATKfTj7MQ1+v1Ezc7jrMVQpTmocOjOY6znUwmRSvR"+
65 "KIpknud0KfEoimSWZQ/N2jfhtb1AvGklDQAAAABJRU5ErkJggg=="
68 "data:image/png;base64,"+
69 "iVBORw0KGgoAAAANSUhEUgAAABQAAAAREAYAAACN1FD9AAAABmJLR0QA/wD/AP+gvaeTAAAA"+
70 "CXBIWXMAAABIAAAASABGyWs+AAAACXZwQWcAAAAUAAAAEQDeTN6UAAAD/ElEQVRIx8WUbUyV"+
71 "ZRjHf+chxDi8yZcDa0mKh/wSuNE5eNYHZBiRwoespayEkdgx22hmjB1glTlenDYlMccAX1cb"+
72 "CDFlg+aQ1JGEazGWpixdbbweDucctPF2PNxXX3pw00gL09+X59m1+77+v+d+nueCBRJ+ECAs"+
73 "78dnAPp2nLEDtMdpPwMYZhfaf8GU1gLsixwdBRDRr7lRAHmxT0zs+UKAuKmhXgDfGleAYZVh"+
74 "lXynC/Z1AYyeX+IFiLjw+MwWAxDQuBqgNVsX+iNta/nWcnV0vD+9Ir1CndDre68AfDH42PzW"+
75 "2QDW79UFxkxh6WHp8o5a5lznXCfJ/nPX867nSYArO7AssEyOjOwE8GfGZwC84Pu3edrDLgzK"+
76 "AFj06q7DAPt/1evBK4szizMlpXy4tqO2g/MHa9sm2ibwP23M78zvFE0rBAg4U24DqFpieAqA"+
77 "6kd+cjuiAAqu6Sfn/n55/fJ6CZOc6YHpATmkNWgNWoOIZtSMmlFE1d9ae2utvDt21ZRiSpHV"+
78 "+r43LwFkBT4ysehigKgDvxcC3P5QD5qxNtU11anj8hfhg+GD4YMixipjlbFK5pjyHok8Enn3"+
79 "m7yyG2DAEdIFYLy9YMHDLoBjK/WA8fhkb7JXtcqMnJbT4tJFYlpiWmJaRKJio2KjYu8KSp9K"+
80 "UAly2ZtpSbWkql/0PrsuAJR3/2cx65cA1qujRgBV6HpWy9fy5dydOz2JPYlqQO4hwZ/gT/CL"+
81 "mB1mh9kh93Enq2tP1x7V4wo0pBnS5KehVwBmPjA7AcxtDy2mBQIYPmk/B/CDb26MxGw5teWU"+
82 "+krmIdWaak21iiR2JHYkdsi83G7KtmRb1HG9b+PHAK2lJAEQ9EDBt88C5BybGyOLQgtCC8Su"+
83 "gkesI1axzRd8Mvdk7slckeoN1RuqN8wvODsyVDNUIxaXP0SFKHlfz8l4GSDTfd+B6Tdh5QCh"+
84 "hUUvAlR8o9eDI4qSipLkJcOEqdvUzaX5HmzSNGmaNMFN+037TTvgxInzb96QKTovOo/LRmuJ"+
85 "r8QnFr3+2esAB/IX9wAEjd+3cfc+gD2euTFSv2zzss0SIdnTG6c3SqU8AFulrdJWKRJSElIS"+
86 "UiLia/Y1+5r/YcNHM9tntku1e2KFZ4VHAvXcwnyAksY5MfNvAOYdQ+8BzHytL5warDtRd2I2"+
87 "QjWNh46HqjR11LvGu0aVqUOei56LYlD7PRWeCmlWpe4p95R87h66Yb9hV+7+o71BvUHKoWyj"+
88 "jlGHSlbPOTc5N6kkFTqybWSbeksxfHb4rGqd9Q3nDOdI5lRHTXtNu6rWc/vfAJjoXHoNYOl6"+
89 "Q70CaFEpYwAZhof+m/5nvv0UoDFLW/UagCXuSQvdSzwAiTv/BGXg1AxNKyCeAAAAAElFTkSu"+
93 "data:image/png;base64,"+
94 "iVBORw0KGgoAAAANSUhEUgAAAA8AAAAOCAMAAADHVLbdAAAALHRFWHRDcmVhdGlvbiBUaW1l"+
95 "AEZyaSAxOSBTZXAgMjAwMyAxODozOTozMiAtMDAwME2jAt8AAAAHdElNRQfTCRMRKABXeznM"+
96 "AAAACXBIWXMAAAsSAAALEgHS3X78AAAABGdBTUEAALGPC/xhBQAAACRQTFRF////AAAA7+/v"+
97 "3t7ezs7OtbW1ra2tlJSUnJycEBAQKSkphISEbGtEogAAAAF0Uk5TAEDm2GYAAABLSURBVHja"+
98 "nY1BEsAgCAMDKm31//81qB3l6h4Y4mYQQNvAmXNv7W/gytcTRj6pppQHNWoW6JWS13Ix86yr"+
99 "O7MEPkDWuWLPK/7hoYEOxksDsk8eppEAAAAASUVORK5CYII="
101 def emailIconBase64 =
102 "data:image/png;base64,"+
103 "iVBORw0KGgoAAAANSUhEUgAAABUAAAAOCAMAAAD32Kf8AAAALHRFWHRDcmVhdGlvbiBUaW1l"+
104 "AEZyaSAxOSBTZXAgMjAwMyAxODo0MjowOSAtMDAwMBDwv7IAAAAHdElNRQfTCRMRKhqYL6I0"+
105 "AAAACXBIWXMAAAsSAAALEgHS3X78AAAABGdBTUEAALGPC/xhBQAAADBQTFRF////AAAAhISE"+
106 "9/fv9/f3////CAgI7+/v1tbOxsa9tbWtpaWclJSMlJSUe3t7a2trxDv8WgAAAAF0Uk5TAEDm"+
107 "2GYAAABiSURBVHjabc9JEoAgDETRpNOKs/e/rSEYF8jfhHpQFAi6JHpHBg5VOdIj+KeXkgO9"+
108 "tUj/Bldo3WdRnktt3fbjgoWKK5EKsunkyryCn86Oxsj/UZqKEkFmNF+mvieFdSK16wFr7QK5"+
109 "tASqkwAAAABJRU5ErkJggg=="
112 "data:image/png;base64,"+
113 "iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAMAAAAoLQ9TAAAAK3RFWHRDcmVhdGlvbiBUaW1l"+
114 "AFRodSA2IE5vdiAyMDAzIDE1OjMwOjAwIC0wMDAwSwt8PwAAAAd0SU1FB9MLBg8fD1x8/t4A"+
115 "AAAJcEhZcwAACxIAAAsSAdLdfvwAAAAEZ0FNQQAAsY8L/GEFAAAAQlBMVEX///9zc3Nra2uE"+
116 "hITGxsaUlJScnJx7e3uMjIz////39/fv7+/n5+fe3t69vb1jY2OlpaXW1ta1tbVaWlqtra3O"+
117 "zs5w48BYAAAAAXRSTlMAQObYZgAAAIdJREFUeNpNz1ESBBEMBNCRwSCJMOT+V10WW9vKz6uO"+
118 "iusa0R137ShxjImwHsnSMCbEX6dPiIje+SUKC6hav8CbAQlZD/RmJ1Tdz6oTwETMfAByK0hT"+
119 "1kgH7E1phFfjdvS2JlJpN8RAyEHMhgJgaexJTBPyA1JiGoD0BXgg2H8wcFs3/jDvPB+sOwir"+
120 "+o6iKQAAAABJRU5ErkJggg=="
123 "<script> jsMath = { showFontWarnings: false } </script>\n"+
124 "<script src='/jsmath/easy/load.js'></script>\n"+
125 "<script src='/~megacz/jsmath/easy/load.js'></script>\n"+ // for cs.berkeley.edu
126 "<span id='tex2math_off'></span>\n"+
127 "<NOSCRIPT> <DIV STYLE='color:#CC0000; text-align:center'> "+
128 "<B>Warning: <A HREF='http://www.math.union.edu/locate/jsMath'>jsMath</A> "+
129 "requires JavaScript to process the mathematics on this page.<BR> If your "+
130 "browser supports JavaScript, be sure it is enabled.</B> </DIV> <HR> </NOSCRIPT>\n"
132 def urlEscape (s:Seq[Char]) =
133 s.map(urlEscapeChar).foldLeft("")(_ + _)
135 def htmlEscape (s:Seq[Char]) =
136 s.map(htmlEscapeChar).foldLeft("")(_ + _)
138 private def urlEscapeChar (c:Char) : String =
140 // non-alphanumerics which may appear unescaped
152 // technically these aren't allowed by RFC, but we include them anyways
158 // FIXME: this will wind up "disencoding" a %-encoded question mark
162 if ((c >= 'a' && c <= 'z') ||
163 (c >= 'A' && c <= 'Z') ||
164 (c >= '0' && c <= '9'))
167 val s = "00"+java.lang.Integer.toString(c & 0xff, 16)
168 return '%'+s.substring(s.length()-1, 2)
173 private def htmlEscapeChar (c:Char) =
178 case '\'' => "'"
179 case '\"' => """
183 def mapToHtml[A <: ToHtml](h:Seq[A]) : String =
184 h.map((s:A) => s.toHtml).foldLeft("")(_ + _)
186 def joinStrings(strings:Seq[String], separator:String) =
187 if (strings.length == 0) ""
188 else if (strings.length == 1) strings(0)
189 else strings(0)+strings.tail.map( (s:String) => separator+s ).foldLeft("")(_ + _)
191 def stag(t:String) = "\n<"+t+"></"+t+">\n"
192 def stag(t:String, body:ToHtml) = "\n<"+t+">\n"+body.toHtml+"\n</"+t+">\n"
193 def stag0(t:String, body:String) = "\n<"+t+">\n"+body+"\n</"+t+">\n"
194 def tag(t:String, body:ToHtml) = "<"+t+">"+body.toHtml+"</"+t+">"
195 def stag_(t:String, body:Seq[ToHtml]) = "\n<"+t+">\n"+mapToHtml(body)+"\n</"+t+">\n"
196 def tag_(t:String, body:Seq[ToHtml]) = "<"+t+">"+mapToHtml(body)+"</"+t+">"
198 def link(ref:String, body:Seq[ToHtml]) : String = {
199 val img = "style='vertical-align: text-bottom;' border=0 "
200 val icon = if (ref.endsWith(".pdf")) "<img "+img+" src='"+Html.pdfIconBase64+"'> "
201 else if (ref.startsWith("mailto:")) "<img "+img+" src='"+Html.emailIconBase64+"'> "
203 return "<a href='"+ref+"'>"+icon+mapToHtml(body)+"</a>"
206 private def pre_(c:Char) : String =
209 case '\n' => "<br/>\n"
210 case a => htmlEscapeChar(a)
213 def pre(x:String) : String =
214 "\n<div class=pre style='white-space:nowrap'>"+(x.map(pre_).foldLeft("")((a,b:String) => a + b))+"\n</div>\n"