2 font-family: Arial, Helvetica, Sans-serif;
7 border-top: solid lightgray 1px;
8 border-bottom: solid lightgray 1px;
25 background-color: lightgray;
26 border:2px solid lightblue;
28 filter: alpha(opacity=50);
32 html>body div#searchdiv {
41 h1, div#header p, form p {
72 .escape { /* part of hack used to handle web browsers that don't support disable-output-escaping (e.g. Mozilla) */