The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/browser/themes/windows/devtools/webconsole_networkpanel.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,100 @@
     1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +body {
     1.9 +  font-family: sans-serif;
    1.10 +  font-size: 11px;
    1.11 +  background: #EEE;
    1.12 +  color: #000;
    1.13 +}
    1.14 +
    1.15 +#header {
    1.16 +  padding: 5px;
    1.17 +  overflow-x: auto;
    1.18 +  display: block;
    1.19 +}
    1.20 +
    1.21 +h1 {
    1.22 +  font-size: 13px;
    1.23 +  line-height: 15px;
    1.24 +  padding: 3px 10px;
    1.25 +  vertical-align: bottom;
    1.26 +  margin: 0px;
    1.27 +  background: linear-gradient(#BBB, #999);
    1.28 +  border-radius: 2px;
    1.29 +  text-shadow: #FFF 0px 1px 0px;
    1.30 +}
    1.31 +
    1.32 +h1 .info {
    1.33 +  font-size: 11px;
    1.34 +  line-height: 15px;
    1.35 +  vertical-align: bottom;
    1.36 +  float: right;
    1.37 +  color: #333;
    1.38 +  padding-right: 3px;
    1.39 +}
    1.40 +
    1.41 +.property-table {
    1.42 +  padding: 2px 5px;
    1.43 +  background: linear-gradient(#FFF, #F8F8F8);
    1.44 +  color: #333;
    1.45 +  width: 100%;
    1.46 +  max-height: 330px;
    1.47 +  overflow: auto;
    1.48 +  display: block;
    1.49 +}
    1.50 +
    1.51 +.property-table-header {
    1.52 +  font-size: 11px;
    1.53 +  font-weight: bold;
    1.54 +  padding-right: 4px;
    1.55 +  color: #000;
    1.56 +  white-space: nowrap;
    1.57 +  text-align: right;
    1.58 +  vertical-align: top;
    1.59 +  width: 10%;
    1.60 +}
    1.61 +
    1.62 +.property-table-value {
    1.63 +  padding-right: 5px;
    1.64 +  font-size: 11px;
    1.65 +  word-wrap: break-word;
    1.66 +  width: 90%;
    1.67 +}
    1.68 +
    1.69 +div.group {
    1.70 +  margin-top: 10px;
    1.71 +}
    1.72 +
    1.73 +div.group,
    1.74 +#header {
    1.75 +  background: #FFF;
    1.76 +  border-color: #E1E1E1;
    1.77 +  border-style: solid;
    1.78 +  border-width: 1px;
    1.79 +  box-shadow: 0 1px 1.5px rgba(0, 0, 0, 0.2);
    1.80 +  border-radius: 4px 4px 4px 4px;
    1.81 +}
    1.82 +
    1.83 +img#responseImageNode {
    1.84 +  box-shadow: rgba(0,0,0,0.2) 0px 3px 3.5px;
    1.85 +  max-width: 100%;
    1.86 +}
    1.87 +
    1.88 +#responseImageNodeDiv {
    1.89 +  padding: 5px;
    1.90 +}
    1.91 +
    1.92 +#responseBodyFetchLink, #requestBodyFetchLink {
    1.93 +  padding: 5px;
    1.94 +  margin: 0;
    1.95 +  cursor: pointer;
    1.96 +  font-weight: bold;
    1.97 +  font-size: 1.1em;
    1.98 +  text-decoration: underline;
    1.99 +}
   1.100 +
   1.101 +.longStringEllipsis {
   1.102 +  margin-left: 0.6em;
   1.103 +}