src/Html.scala

   1 trait ToHtml {
   2   def toHtml : String
   3 }
   4
   5 object Html {
   6
   7   def style : String =
   8     "\n<style>\n"+
   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"+
  17     " }\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"+
  25     " div.footer {\n"+
  26     "   color: gray;\n"+
  27     "   border-top: 1px solid silver;\n"+
  28     "   font-size: 10px;\n"+
  29     " }\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"+
  41     " div.pre {\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"+
  47     "     color: #FFFFFF;\n"+
  48     "     background-color: #333333;\n"+
  49     "     margin-right: 25px;\n"+
  50     "     margin-left: 25px;\n"+
  51     "     padding: 10px;\n"+
  52     "  }\n"+
  53     "</style>\n"
  54
  55   def quoteIconBase64 =
  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=="
  66
  67   def warnIconBase64 =
  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"+
  90     "QmCC"
  91
  92   def printIconBase64 =
  93     "data:image/png;base64,"+
  94     "iVBORw0KGgoAAAANSUhEUgAAAA8AAAAOCAMAAADHVLbdAAAALHRFWHRDcmVhdGlvbiBUaW1l"+
  95     "AEZyaSAxOSBTZXAgMjAwMyAxODozOTozMiAtMDAwME2jAt8AAAAHdElNRQfTCRMRKABXeznM"+
  96     "AAAACXBIWXMAAAsSAAALEgHS3X78AAAABGdBTUEAALGPC/xhBQAAACRQTFRF////AAAA7+/v"+
  97     "3t7ezs7OtbW1ra2tlJSUnJycEBAQKSkphISEbGtEogAAAAF0Uk5TAEDm2GYAAABLSURBVHja"+
  98     "nY1BEsAgCAMDKm31//81qB3l6h4Y4mYQQNvAmXNv7W/gytcTRj6pppQHNWoW6JWS13Ix86yr"+
  99     "O7MEPkDWuWLPK/7hoYEOxksDsk8eppEAAAAASUVORK5CYII="
 100
 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=="
 110
 111   def pdfIconBase64 =
 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=="
 121
 122   def jsMath =
 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"
 131
 132   def urlEscape (s:Seq[Char]) =
 133     s.map(urlEscapeChar).foldLeft("")(_ + _)
 134
 135   def htmlEscape (s:Seq[Char]) =
 136     s.map(htmlEscapeChar).foldLeft("")(_ + _)
 137
 138   private def urlEscapeChar (c:Char) : String =
 139     c match {
 140       // non-alphanumerics which may appear unescaped
 141       case '$'                        => "$"
 142       case '-'                        => "-"
 143       case '_'                        => "_"
 144       case '.'                        => "."
 145       case '!'                        => "!"
 146       case '*'                        => "*"
 147       case '\''                       => "\'"
 148       case '('                        => "("
 149       case ')'                        => ")"
 150       case ','                        => ","
 151
 152       // technically these aren't allowed by RFC, but we include them anyways
 153       case '/'                        => "/"
 154       case ';'                        => ";"
 155       case '&'                        => "&"
 156       case '='                        => "="
 157
 158       // FIXME: this will wind up "disencoding" a %-encoded question mark
 159       case '?'                        => "?"
 160
 161       case _ => {
 162         if ((c >= 'a' && c <= 'z') ||
 163             (c >= 'A' && c <= 'Z') ||
 164             (c >= '0' && c <= '9'))
 165           'c'+""
 166         else {
 167           val s = "00"+java.lang.Integer.toString(c & 0xff, 16)
 168           return '%'+s.substring(s.length()-1, 2)
 169         }
 170       }
 171     }
 172
 173   private def htmlEscapeChar (c:Char) =
 174     c match {
 175       case '<'  => "&lt;"
 176       case '>'  => "&gt;"
 177       case '&'  => "&amp;"
 178       case '\'' => "&apos;"
 179       case '\"' => "&quot;"
 180       case c    => ""+c
 181     }
 182
 183   def mapToHtml[A <: ToHtml](h:Seq[A]) : String =
 184     h.map((s:A) => s.toHtml).foldLeft("")(_ + _)
 185
 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("")(_ + _)
 190
 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+">"
 197
 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+"'>&nbsp;"
 201                else if (ref.startsWith("mailto:")) "<img "+img+" src='"+Html.emailIconBase64+"'>&nbsp;"
 202                else ""
 203     return "<a href='"+ref+"'>"+icon+mapToHtml(body)+"</a>"
 204   }
 205
 206   private def pre_(c:Char) : String =
 207     c match {
 208       case ' '  => "&nbsp;"
 209       case '\n' => "<br/>\n"
 210       case a    => htmlEscapeChar(a)
 211     }
 212
 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"
 215
 216 }
 217