diff options
Diffstat (limited to 'sundry/spine_search_cgi')
| -rw-r--r-- | sundry/spine_search_cgi/src/spine_search.d | 8 | ||||
| -rwxr-xr-x | sundry/spine_search_cgi/src/spine_search.d_ | 12 | 
2 files changed, 18 insertions, 2 deletions
| diff --git a/sundry/spine_search_cgi/src/spine_search.d b/sundry/spine_search_cgi/src/spine_search.d index 07a824d..d8ead11 100644 --- a/sundry/spine_search_cgi/src/spine_search.d +++ b/sundry/spine_search_cgi/src/spine_search.d @@ -627,6 +627,14 @@ void cgi_function_intro(Cgi cgi) {        color                    : #000000;        background-color         : #FFFF48;      } +    input[type="text"] { +      font-size:120%%; +      line-height              : 120%%; +    } +    button[type="submit"] { +      font-size                : 120%%; +      line-height              : 120%%; +    }      p.norm { }      p.center { text-align      : center; }      p.i1 { padding-left        : 1em; } diff --git a/sundry/spine_search_cgi/src/spine_search.d_ b/sundry/spine_search_cgi/src/spine_search.d_ index 3c9a738..e721699 100755 --- a/sundry/spine_search_cgi/src/spine_search.d_ +++ b/sundry/spine_search_cgi/src/spine_search.d_ @@ -595,7 +595,7 @@ void cgi_function_intro(Cgi cgi) {      }      a.lnkocn:hover {        color                    : #777777; -      font-size                : 15px; +      font-size                : 100%%;      }      a:hover img {        background-color         : #FFFFFF; @@ -629,6 +629,14 @@ void cgi_function_intro(Cgi cgi) {        color                    : #000000;        background-color         : #FFFF48;      } +    input[type="text"] { +      font-size                : 120%%; +      line-height              : 120%%; +    } +    button[type="submit"] { +      font-size                : 120%%; +      line-height              : 120%%; +    }      p.norm { }      p.center { text-align      : center; }      p.i1 { padding-left        : 1em; } @@ -1111,7 +1119,7 @@ void cgi_function_intro(Cgi cgi) {        text-align               : left;      }      .tiny, .tiny_left, .tiny_right, .tiny_center { -      font-size                : 10px; +      font-size                : 12px;        margin-top               : 0px;        margin-bottom            : 0px;        color                    : #EEEEEE; | 
