xmls css, stepwise changes

3 files changed, 52 insertions, 27 deletions

diff --git a/org/cgi_spine_search.org b/org/cgi_spine_search.org
index 674b2ef..6b43058 100644
--- a/org/cgi_spine_search.org
+++ b/org/cgi_spine_search.org
@@ -1346,6 +1346,19 @@ a:hover {
   color                    : #000000;
   background-color         : #F9F9AA;
 }
+a.matched_ocn:link {
+  color                    : #003399;
+  text-decoration          : none;
+}
+a.matched_ocn:visited {
+  color                    : #003399;
+  text-decoration          : none;
+}
+a.matched_ocn:hover {
+  color                    : #000000;
+  background-color         : #F9F9AA;
+  font-size                : 100%%;
+}
 a.lnkocn:link {
   color                    : #777777;
   text-decoration          : none;
@@ -1390,13 +1403,16 @@ span.match {
   color                    : #000000;
   background-color         : #FFFF48;
 }
+input, select, textarea {
+  font-size                : 150%%;
+}
 input[type="text"] {
-  font-size                : 120%%;
-  line-height              : 120%%;
+  font-size                : 150%%;
+  line-height              : 150%%;
 }
 button[type="submit"] {
-  font-size                : 120%%;
-  line-height              : 120%%;
+  font-size                : 150%%;
+  line-height              : 150%%;
 }
 p.norm { }
 p.center { text-align      : center; }
@@ -1880,7 +1896,7 @@ p.small {
   text-align               : left;
 }
 .tiny, .tiny_left, .tiny_right, .tiny_center {
-  font-size                : 12px;
+  font-size                : 75%%;
   margin-top               : 0px;
   margin-bottom            : 0px;
   color                    : #EEEEEE;
@@ -1947,8 +1963,8 @@ pre.codeline {
   white-space              : -o-pre-wrap;
   background-color         : #555555;
   color                    : #DDDDDD;
-  font-size                : 95%%;
-  line-height              : 100%%;
+  font-size                : 120%%;
+  line-height              : 120%%;
 }
 pre.codeline::before {
   counter-reset            : linenum;
diff --git a/org/out_curate_metadata.org b/org/out_curate_metadata.org
index cda8dfc..6c7169f 100644
--- a/org/out_curate_metadata.org
+++ b/org/out_curate_metadata.org
@@ -674,6 +674,9 @@ string theme_dark_0 = format(q"┃
     color                    : #FFFFFF;
     background               : #777777;
   }
+  input, select, textarea {
+    font-size                : 150%%;
+  }
   input {
     color                    : #FFFFFF;
     background-color         : #777777;
@@ -718,6 +721,9 @@ string theme_light_0 = format(q"┃
   a.lev3:hover {
     background               : #BBBBBB;
   }
+  input, select, textarea {
+    font-size                : 150%%;
+  }
   input {
     color                    : #000000;
     background-color         : #FFFFFF;
diff --git a/org/out_xmls_css.org b/org/out_xmls_css.org
index c5934ce..d83d4c9 100644
--- a/org/out_xmls_css.org
+++ b/org/out_xmls_css.org
@@ -510,7 +510,7 @@ template spineCss() {
     text-align               : left;
   }
   .tiny, .tiny_left, .tiny_right, .tiny_center {
-    font-size                : 12px;
+    font-size                : 75%%;
     margin-top               : 0px;
     margin-bottom            : 0px;
     color                    : #777777;
@@ -588,7 +588,7 @@ template spineCss() {
     width                    : 2%%;
     float                    : right;
     top                      : 0;
-    font-size                : 12px;
+    font-size                : 80%%;
     margin-top               : 0px;
     margin-bottom            : 6px;
     margin-right             : 6px;
@@ -771,8 +771,8 @@ template spineCss() {
   .toc-button {
     position                 : absolute;
     top                      : 8px;
-    width                    : 2em;
-    height                   : 2em;
+    width                    : 3em;
+    height                   : 3em;
     border-radius            : 50%%;
     background               : #CCCCCC;
     fill                     : #333333;
@@ -792,8 +792,8 @@ template spineCss() {
   .prev-next-button {
     position                 : absolute;
     top                      : 8px;
-    width                    : 2em;
-    height                   : 2em;
+    width                    : 3em;
+    height                   : 3em;
     border-radius            : 50%%;
     background               : #CCCCCC;
     box-shadow               : 0 2px 5px #AAAAAA inset;
@@ -806,10 +806,10 @@ template spineCss() {
     height                   : 60%%;
   }
   .menu {
-    right                    : 6em;
+    right                    : 8em;
    }
   .previous {
-    right                    : 3em;
+    right                    : 4em;
    }
   .next {
     right                    : 0em;
@@ -818,8 +818,8 @@ template spineCss() {
     fill                     : #333333;
   }
   .minitoc {
-    line-height              : 100%%;
-    font-size                : 90%%;
+    line-height              : 120%%;
+    font-size                : 100%%;
     margin-top               : 6px;
     margin-bottom            : 0px;
     padding-left             : 0em;
@@ -1426,7 +1426,7 @@ Consider what if anything should be used here
     text-align               : left;
   }
   .tiny, .tiny_left, .tiny_right, .tiny_center {
-    font-size                : 12px;
+    font-size                : 75%%;
     margin-top               : 0px;
     margin-bottom            : 0px;
     color                    : #EEEEEE;
@@ -1504,7 +1504,7 @@ Consider what if anything should be used here
     width                    : 2%%;
     float                    : right;
     top                      : 0;
-    font-size                : 12px;
+    font-size                : 80%%;
     margin-top               : 0px;
     margin-bottom            : 6px;
     margin-right             : 6px;
@@ -1687,8 +1687,8 @@ Consider what if anything should be used here
   .toc-button {
     position                 : absolute;
     top                      : 8px;
-    width                    : 2em;
-    height                   : 2em;
+    width                    : 3em;
+    height                   : 3em;
     border-radius            : 50%%;
     background               : #555555;
     fill                     : #DDDDDD;
@@ -1708,8 +1708,8 @@ Consider what if anything should be used here
   .prev-next-button {
     position                 : absolute;
     top                      : 8px;
-    width                    : 2em;
-    height                   : 2em;
+    width                    : 3em;
+    height                   : 3em;
     border-radius            : 50%%;
     background               : #555555;
     box-shadow               : 0 2px 5px #AAAAAA inset;
@@ -1722,10 +1722,10 @@ Consider what if anything should be used here
     height                   : 60%%;
   }
   .menu {
-    right                    : 6em;
+    right                    : 8em;
    }
   .previous {
-    right                    : 3em;
+    right                    : 4em;
    }
   .next {
     right                    : 0em;
@@ -1734,8 +1734,8 @@ Consider what if anything should be used here
      fill                    : #DDDDDD;
   }
   .minitoc {
-    line-height              : 100%%;
-    font-size                : 90%%;
+    line-height              : 120%%;
+    font-size                : 100%%;
     margin-top               : 6px;
     margin-bottom            : 0px;
     padding-left             : 0em;
@@ -2002,6 +2002,9 @@ Consider what if anything should be used here
 
 #+NAME: css_shared_search_form
 #+BEGIN_SRC css
+input, select, textarea {
+  font-size                : 150%%;
+}
 input[type="text"] {
   font-size:120%%;
   line-height              : 120%%;