diff options
author | Vincent Sanders <vince@kyllikki.org> | 2019-10-30 18:56:38 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2019-10-30 18:56:38 +0000 |
commit | 4b0c3f0efef2239dd5d62a9e73eeec4037c056a4 (patch) | |
tree | 4ff85d6b40242d6a29f49422edd7f1be26daa62c /resources/internal.css | |
parent | 76eac192272acf77763d0c619cd78118650748cf (diff) | |
download | netsurf-4b0c3f0efef2239dd5d62a9e73eeec4037c056a4.tar.gz netsurf-4b0c3f0efef2239dd5d62a9e73eeec4037c056a4.tar.bz2 |
add internal query handler for fetch errors
Any errors from the fetch which are not already handled are
reported with an internal query page instead of a modal
dialog.
This is much less invasive for the user and much more in
keeping with how this is handled by other browsers.
The handler is similar to the timeout handler but the
functionality is kept separate as it is intended timeout
handling be extended in future.
Diffstat (limited to 'resources/internal.css')
-rw-r--r-- | resources/internal.css | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/resources/internal.css b/resources/internal.css index 14b47cfa9..ded56ee0b 100644 --- a/resources/internal.css +++ b/resources/internal.css @@ -381,3 +381,41 @@ body#timeout div#buttons { body#timeout div#buttons input#back { margin-right: 1em; } + +/* + * fetch error query styling + */ + +body#fetcherror { + max-width: 45em; +} + +body#fetcherror h1 { + padding: 0.8em 0.4em 0.5em 0.4em; + border-bottom: 0.1em solid #444; + margin: 0 0 1.3em 0; + background: #c55; + color: white; +} + +body#fetcherror form { + /* Just to center the form on the page */ + margin: 0 auto; + /* To see the outline of the form */ + padding: 1em; + border: 1px solid #CCC; + border-radius: 1em; +} + +body#fetcherror form div + div { + margin-top: 1em; +} + +body#fetcherror div#buttons { + text-align: right; + margin-right: 1em; +} + +body#fetcherror div#buttons input#back { + margin-right: 1em; +} |