+.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;
+}
+
+.pager {
+ text-align: center;
+
+ background-color: #f5f5f5;
+
+ border-color: #cccccc;
+ border-width: 1px;
+ border-style: dotted;
+}
+.pager .currentSection,
+.pager a {
+ border-style: solid;
+ border-width: 1px;
+}
+.pager .currentSection {
+ background-color: white;
+ border-color: #cccccc white white #cccccc;
+}
+.pager a {
+ background-color: #e8e8e8;
+ border-color: white #cccccc #cccccc white;
+}
+