diff options
Diffstat (limited to 'webbrowser/themes/windows/aboutSessionRestore.css')
-rw-r--r-- | webbrowser/themes/windows/aboutSessionRestore.css | 73 |
1 files changed, 0 insertions, 73 deletions
diff --git a/webbrowser/themes/windows/aboutSessionRestore.css b/webbrowser/themes/windows/aboutSessionRestore.css deleted file mode 100644 index 4fa4907..0000000 --- a/webbrowser/themes/windows/aboutSessionRestore.css +++ /dev/null @@ -1,73 +0,0 @@ -%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; -} |