margin: 0 2px;
}
+.searchStat {
+ margin-bottom: 1.5em;
+}
+
+.searchResult {
+ margin-bottom: 1.5em;
+}
+
/* color and text *************************************************************/
* {
font-family: sans-serif;
background-color: white;
}
+.searchStat {
+ color: #888888;
+ font-size: 90%;
+}
+
+.searchResult a {
+ font-size: 120%;
+}
+.searchResult {
+ border-style: dotted;
+ border-width: 1px 0 0 0;
+ border-color: #aaaaaa;
+}
+
+.highlighted {
+ background-color: #ffefd5;
+}
+
/* float **********************************************************************/
h1, h2, h3, h4, h5, h6 {
clear: both;