toolkit/crashreporter/google-breakpad/src/third_party/glog/doc/designstyle.css@129ffea94266
toolkit/crashreporter/google-breakpad/src/third_party/glog/doc/designstyle.css
Sat, 03 Jan 2015 20:18:00 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Sat, 03 Jan 2015 20:18:00 +0100
- branch
- TOR_BUG_3246
- changeset 7
- 129ffea94266
- permissions
- -rw-r--r--
Conditionally enable double key logic according to:
private browsing mode or privacy.thirdparty.isolate preference and
implement in GetCookieStringCommon and FindCookie where it counts...
With some reservations of how to convince FindCookie users to test
condition and pass a nullptr when disabling double key logic.
1 body {
2 background-color: #ffffff;
3 color: black;
4 margin-right: 1in;
5 margin-left: 1in;
6 }
9 h1, h2, h3, h4, h5, h6 {
10 color: #3366ff;
11 font-family: sans-serif;
12 }
13 @media print {
14 /* Darker version for printing */
15 h1, h2, h3, h4, h5, h6 {
16 color: #000080;
17 font-family: helvetica, sans-serif;
18 }
19 }
21 h1 {
22 text-align: center;
23 font-size: 18pt;
24 }
25 h2 {
26 margin-left: -0.5in;
27 }
28 h3 {
29 margin-left: -0.25in;
30 }
31 h4 {
32 margin-left: -0.125in;
33 }
34 hr {
35 margin-left: -1in;
36 }
38 /* Definition lists: definition term bold */
39 dt {
40 font-weight: bold;
41 }
43 address {
44 text-align: right;
45 }
46 /* Use the <code> tag for bits of code and <var> for variables and objects. */
47 code,pre,samp,var {
48 color: #006000;
49 }
50 /* Use the <file> tag for file and directory paths and names. */
51 file {
52 color: #905050;
53 font-family: monospace;
54 }
55 /* Use the <kbd> tag for stuff the user should type. */
56 kbd {
57 color: #600000;
58 }
59 div.note p {
60 float: right;
61 width: 3in;
62 margin-right: 0%;
63 padding: 1px;
64 border: 2px solid #6060a0;
65 background-color: #fffff0;
66 }
68 UL.nobullets {
69 list-style-type: none;
70 list-style-image: none;
71 margin-left: -1em;
72 }
74 /*
75 body:after {
76 content: "Google Confidential";
77 }
78 */
80 /* pretty printing styles. See prettify.js */
81 .str { color: #080; }
82 .kwd { color: #008; }
83 .com { color: #800; }
84 .typ { color: #606; }
85 .lit { color: #066; }
86 .pun { color: #660; }
87 .pln { color: #000; }
88 .tag { color: #008; }
89 .atn { color: #606; }
90 .atv { color: #080; }
91 pre.prettyprint { padding: 2px; border: 1px solid #888; }
93 .embsrc { background: #eee; }
95 @media print {
96 .str { color: #060; }
97 .kwd { color: #006; font-weight: bold; }
98 .com { color: #600; font-style: italic; }
99 .typ { color: #404; font-weight: bold; }
100 .lit { color: #044; }
101 .pun { color: #440; }
102 .pln { color: #000; }
103 .tag { color: #006; font-weight: bold; }
104 .atn { color: #404; }
105 .atv { color: #060; }
106 }
108 /* Table Column Headers */
109 .hdr {
110 color: #006;
111 font-weight: bold;
112 background-color: #dddddd; }
113 .hdr2 {
114 color: #006;
115 background-color: #eeeeee; }
