improvements related to page search

[Rakka.git] / defaultPages / StyleSheet / Default.xml

diff --git a/defaultPages/StyleSheet/Default.xml b/defaultPages/StyleSheet/Default.xml
index 7a5a6abd61d96de86b08e938392ce0f144faad4f..74a17db9c9d9e700c784aa0f8c4a7dd4ba6fad87 100644 (file)
--- a/defaultPages/StyleSheet/Default.xml
+++ b/defaultPages/StyleSheet/Default.xml
@@ -200,6 +200,14 @@ table.pageEditor {
     margin: 0 2px;
 }
 
+.searchStat {
+    margin-bottom: 1.5em;
+}
+
+.searchResult {
+    margin-bottom: 1.5em;
+}
+
 /* color and text *************************************************************/
 * {
     font-family: sans-serif;
@@ -395,6 +403,24 @@ input[type="button"][disabled]:active {
     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;