The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/browser/themes/linux/aboutSessionRestore.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,85 @@
     1.4 +%if 0
     1.5 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.6 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.7 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.8 +%endif
     1.9 +
    1.10 +html {
    1.11 +  height: 100%;
    1.12 +}
    1.13 +
    1.14 +body {
    1.15 +  height: 100%;
    1.16 +  text-align: center;
    1.17 +}
    1.18 +
    1.19 +#errorPageContainer {
    1.20 +  background-image: url("moz-icon://stock/gtk-dialog-warning?size=dialog");
    1.21 +  display: -moz-box;
    1.22 +  width: -moz-available;
    1.23 +  height: 70%;
    1.24 +  -moz-box-orient: vertical;
    1.25 +  text-align: start;
    1.26 +}
    1.27 +
    1.28 +#errorShortDesc > p {
    1.29 +  margin-top: 0.4em;
    1.30 +  margin-bottom: 0;
    1.31 +}
    1.32 +
    1.33 +#errorLongContent, #errorTrailerDesc {
    1.34 +  display: -moz-box;
    1.35 +  -moz-box-flex: 1;
    1.36 +  -moz-box-orient: vertical;
    1.37 +}
    1.38 +
    1.39 +#tabList {
    1.40 +  margin-top: 2.5em;
    1.41 +  width: 100%;
    1.42 +  min-height: 12em;
    1.43 +}
    1.44 +
    1.45 +treechildren::-moz-tree-image(icon),
    1.46 +treechildren::-moz-tree-image(noicon) {
    1.47 +  padding-right: 2px;
    1.48 +  margin: 0px 2px;
    1.49 +  width: 16px;
    1.50 +  height: 16px;
    1.51 +}
    1.52 +
    1.53 +treechildren::-moz-tree-image(noicon) {
    1.54 +  list-style-image: url("chrome://mozapps/skin/places/defaultFavicon.png");
    1.55 +}
    1.56 +treechildren::-moz-tree-image(container, noicon) {
    1.57 +  list-style-image: url("chrome://browser/skin/aboutSessionRestore-window-icon.png");
    1.58 +}
    1.59 +treechildren::-moz-tree-image(checked) {
    1.60 +  list-style-image: url("chrome://global/skin/checkbox/cbox-check.gif");
    1.61 +}
    1.62 +treechildren::-moz-tree-image(partial) {
    1.63 +  list-style-image: url("chrome://global/skin/checkbox/cbox-check-dis.gif");
    1.64 +}
    1.65 +
    1.66 +/* undo odd row highlighting from tree.css */
    1.67 +treechildren::-moz-tree-row(odd) {
    1.68 +  background-color: transparent;
    1.69 +}
    1.70 +treechildren::-moz-tree-row(odd, selected, focus) {
    1.71 +  background-color: Highlight;
    1.72 +}
    1.73 +
    1.74 +/* highlight "windows" instead */
    1.75 +treechildren::-moz-tree-row(alternate) {
    1.76 +  background-color: -moz-oddtreerow;
    1.77 +}
    1.78 +treechildren::-moz-tree-row(alternate, selected) {
    1.79 +  background-color: Highlight;
    1.80 +}
    1.81 +
    1.82 +#buttons {
    1.83 +  -moz-margin-start: 80px; /* same as #errorLongContent in netError.css */
    1.84 +}
    1.85 +#buttons > button {
    1.86 +  margin-top: 2em;
    1.87 +  -moz-margin-start: 5px;
    1.88 +}