diff options
Diffstat (limited to 'webbrowser/themes/windows/aboutSessionRestore.css')
-rw-r--r-- | webbrowser/themes/windows/aboutSessionRestore.css | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/webbrowser/themes/windows/aboutSessionRestore.css b/webbrowser/themes/windows/aboutSessionRestore.css new file mode 100644 index 0000000..4fa4907 --- /dev/null +++ b/webbrowser/themes/windows/aboutSessionRestore.css @@ -0,0 +1,73 @@ +%if 0 +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ +%endif + +html { + background: #f8ffd0; + height: 100%; +} + +body { + height: 100%; + text-align: center; +} + +#errorPageContainer { + background-image: url("chrome://global/skin/icons/warning-large.png"); + display: -moz-box; + width: -moz-available; + max-width: 85%; + height: 75%; + max-height: 85%; + -moz-box-orient: vertical; + text-align: start; + border: 2px solid #efc; + box-shadow: 0px 0px 8px #aaa; +} + +#errorShortDesc > p { + margin-top: 0.4em; + margin-bottom: 0; +} + +#errorLongContent, #errorTrailerDesc { + display: -moz-box; + -moz-box-flex: 1; + -moz-box-orient: vertical; +} + +#tabList { + margin-top: 2.5em; + width: 100%; + min-height: 12em; +} + +treechildren::-moz-tree-image(icon), +treechildren::-moz-tree-image(noicon) { + padding-right: 2px; + margin: 0px 2px; + width: 16px; + height: 16px; +} + +treechildren::-moz-tree-image(noicon) { + list-style-image: url("chrome://mozapps/skin/places/defaultFavicon.png"); +} +treechildren::-moz-tree-image(container, noicon) { + list-style-image: url("chrome://browser/skin/aboutSessionRestore-window-icon.png"); +} +treechildren::-moz-tree-image(checked) { + list-style-image: url("chrome://global/skin/checkbox/cbox-check.gif"); +} +treechildren::-moz-tree-image(partial) { + list-style-image: url("chrome://global/skin/checkbox/cbox-check-dis.gif"); +} + +#buttons { + width: 100%; +} +#buttons > button { + margin-top: 2em; +} |