diff options
Diffstat (limited to 'org')
| -rw-r--r-- | org/cgi_spine_search.org | 30 | ||||
| -rw-r--r-- | org/out_curate_metadata.org | 6 | ||||
| -rw-r--r-- | org/out_xmls_css.org | 43 |
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%%; |