Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
michael@0 | 1 | body { |
michael@0 | 2 | background-color: #ffffff; |
michael@0 | 3 | color: black; |
michael@0 | 4 | margin-right: 1in; |
michael@0 | 5 | margin-left: 1in; |
michael@0 | 6 | } |
michael@0 | 7 | |
michael@0 | 8 | |
michael@0 | 9 | h1, h2, h3, h4, h5, h6 { |
michael@0 | 10 | color: #3366ff; |
michael@0 | 11 | font-family: sans-serif; |
michael@0 | 12 | } |
michael@0 | 13 | @media print { |
michael@0 | 14 | /* Darker version for printing */ |
michael@0 | 15 | h1, h2, h3, h4, h5, h6 { |
michael@0 | 16 | color: #000080; |
michael@0 | 17 | font-family: helvetica, sans-serif; |
michael@0 | 18 | } |
michael@0 | 19 | } |
michael@0 | 20 | |
michael@0 | 21 | h1 { |
michael@0 | 22 | text-align: center; |
michael@0 | 23 | font-size: 18pt; |
michael@0 | 24 | } |
michael@0 | 25 | h2 { |
michael@0 | 26 | margin-left: -0.5in; |
michael@0 | 27 | } |
michael@0 | 28 | h3 { |
michael@0 | 29 | margin-left: -0.25in; |
michael@0 | 30 | } |
michael@0 | 31 | h4 { |
michael@0 | 32 | margin-left: -0.125in; |
michael@0 | 33 | } |
michael@0 | 34 | hr { |
michael@0 | 35 | margin-left: -1in; |
michael@0 | 36 | } |
michael@0 | 37 | |
michael@0 | 38 | /* Definition lists: definition term bold */ |
michael@0 | 39 | dt { |
michael@0 | 40 | font-weight: bold; |
michael@0 | 41 | } |
michael@0 | 42 | |
michael@0 | 43 | address { |
michael@0 | 44 | text-align: right; |
michael@0 | 45 | } |
michael@0 | 46 | /* Use the <code> tag for bits of code and <var> for variables and objects. */ |
michael@0 | 47 | code,pre,samp,var { |
michael@0 | 48 | color: #006000; |
michael@0 | 49 | } |
michael@0 | 50 | /* Use the <file> tag for file and directory paths and names. */ |
michael@0 | 51 | file { |
michael@0 | 52 | color: #905050; |
michael@0 | 53 | font-family: monospace; |
michael@0 | 54 | } |
michael@0 | 55 | /* Use the <kbd> tag for stuff the user should type. */ |
michael@0 | 56 | kbd { |
michael@0 | 57 | color: #600000; |
michael@0 | 58 | } |
michael@0 | 59 | div.note p { |
michael@0 | 60 | float: right; |
michael@0 | 61 | width: 3in; |
michael@0 | 62 | margin-right: 0%; |
michael@0 | 63 | padding: 1px; |
michael@0 | 64 | border: 2px solid #6060a0; |
michael@0 | 65 | background-color: #fffff0; |
michael@0 | 66 | } |
michael@0 | 67 | |
michael@0 | 68 | UL.nobullets { |
michael@0 | 69 | list-style-type: none; |
michael@0 | 70 | list-style-image: none; |
michael@0 | 71 | margin-left: -1em; |
michael@0 | 72 | } |
michael@0 | 73 | |
michael@0 | 74 | /* |
michael@0 | 75 | body:after { |
michael@0 | 76 | content: "Google Confidential"; |
michael@0 | 77 | } |
michael@0 | 78 | */ |
michael@0 | 79 | |
michael@0 | 80 | /* pretty printing styles. See prettify.js */ |
michael@0 | 81 | .str { color: #080; } |
michael@0 | 82 | .kwd { color: #008; } |
michael@0 | 83 | .com { color: #800; } |
michael@0 | 84 | .typ { color: #606; } |
michael@0 | 85 | .lit { color: #066; } |
michael@0 | 86 | .pun { color: #660; } |
michael@0 | 87 | .pln { color: #000; } |
michael@0 | 88 | .tag { color: #008; } |
michael@0 | 89 | .atn { color: #606; } |
michael@0 | 90 | .atv { color: #080; } |
michael@0 | 91 | pre.prettyprint { padding: 2px; border: 1px solid #888; } |
michael@0 | 92 | |
michael@0 | 93 | .embsrc { background: #eee; } |
michael@0 | 94 | |
michael@0 | 95 | @media print { |
michael@0 | 96 | .str { color: #060; } |
michael@0 | 97 | .kwd { color: #006; font-weight: bold; } |
michael@0 | 98 | .com { color: #600; font-style: italic; } |
michael@0 | 99 | .typ { color: #404; font-weight: bold; } |
michael@0 | 100 | .lit { color: #044; } |
michael@0 | 101 | .pun { color: #440; } |
michael@0 | 102 | .pln { color: #000; } |
michael@0 | 103 | .tag { color: #006; font-weight: bold; } |
michael@0 | 104 | .atn { color: #404; } |
michael@0 | 105 | .atv { color: #060; } |
michael@0 | 106 | } |
michael@0 | 107 | |
michael@0 | 108 | /* Table Column Headers */ |
michael@0 | 109 | .hdr { |
michael@0 | 110 | color: #006; |
michael@0 | 111 | font-weight: bold; |
michael@0 | 112 | background-color: #dddddd; } |
michael@0 | 113 | .hdr2 { |
michael@0 | 114 | color: #006; |
michael@0 | 115 | background-color: #eeeeee; } |