diff options
| -rw-r--r-- | !NetSurf/Resources/CSS,f79 | 6 | ||||
| -rw-r--r-- | gtk/gtk_gui.c | 2 | ||||
| -rw-r--r-- | gtk/res/gtkdefault.css | 24 |
3 files changed, 28 insertions, 4 deletions
diff --git a/!NetSurf/Resources/CSS,f79 b/!NetSurf/Resources/CSS,f79 index 3d97e31fc..e8c611f50 100644 --- a/!NetSurf/Resources/CSS,f79 +++ b/!NetSurf/Resources/CSS,f79 @@ -152,7 +152,7 @@ form { display: block; } form > * { margin-left: inherit; margin-right: inherit; } input { background-color: #fff; color: #000; text-align: left; - width: 10em; height: 1.5em; overflow: hidden; + font-family: sans-serif; width: 10em; height: 1.5em; overflow: hidden; margin: 1px; border: 1px solid #000; padding: 0 2px; } input[type=button], input[type=reset], input[type=submit], button { background-color: #d9d9d9; color: #000; text-align: center; @@ -169,12 +169,12 @@ input[align=left] { float: left; } input[align=right] { float: right; } select { background-color: #d9d9d9; color: #000; text-align: left; - width: 10em; height: 1.5em; overflow: hidden; + font-family: sans-serif; width: 10em; height: 1.5em; overflow: hidden; margin: 1px; border: medium inset #d9d9d9; padding: 0 2px; } select:after { content: "\25bc"; border-left: 4px ridge #d9d9d9; } textarea { background-color: #fff; color: #000; text-align: left; - overflow: scroll; + font-family: monospace; overflow: scroll; margin: 1px; border: 1px solid #000; padding: 0 2px; } fieldset { display: block; border: thin solid #888; margin: 1.12em 0; } diff --git a/gtk/gtk_gui.c b/gtk/gtk_gui.c index 4a63323e1..401d798ae 100644 --- a/gtk/gtk_gui.c +++ b/gtk/gtk_gui.c @@ -250,7 +250,7 @@ void gui_init(int argc, char** argv) gtk_fetch_filetype_init(buf); /* set up stylesheet urls */ - find_resource(buf, "default.css", "./gtk/res/default.css"); + find_resource(buf, "gtkdefault.css", "./gtk/res/gtkdefault.css"); default_stylesheet_url = path_to_url(buf); LOG(("Using '%s' as Default CSS URL", default_stylesheet_url)); diff --git a/gtk/res/gtkdefault.css b/gtk/res/gtkdefault.css new file mode 100644 index 000000000..33e82978d --- /dev/null +++ b/gtk/res/gtkdefault.css @@ -0,0 +1,24 @@ +/* + * This file is part of NetSurf, http://netsurf-browser.org/ + */ + +/* Load base stylesheet. */ + +@import "default.css"; + +/* Apply GTK specific rules. */ + +input { font-size: 95%; } +input[type=button], input[type=reset], input[type=submit], button { + background-color: #ddd; border: medium outset #ddd; } +input[type=image] { background-color: transparent; color: #000; width: auto; + height: auto; border: 0; } +input[type=checkbox], input[type=radio] { font-size: 105%; } +input[type=file] { background-color: #ddd; border: medium inset #ddd; + font-style: italic; } + +select { background-color: #ddd; border: medium inset #ddd; font-size: 95%; } +select:after { content: "\25bc"; border-left:4px ridge #ddd; } + +textarea { font-size: 95%; } + |