dom/tests/mochitest/dom-level1-core/activity-home.css

Tue, 06 Jan 2015 21:39:09 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Tue, 06 Jan 2015 21:39:09 +0100
branch
TOR_BUG_9701
changeset 8
97036ab72558
permissions
-rw-r--r--

Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.

michael@0 1 /* Copyright 1997-2003 W3C (MIT, ERCIM, Keio). All Rights Reserved.
michael@0 2 The following software licensing rules apply:
michael@0 3 http://www.w3.org/Consortium/Legal/copyright-software */
michael@0 4
michael@0 5 /* $Id: activity-home.css,v 1.4 2003/01/17 22:44:17 slesch Exp $ */
michael@0 6
michael@0 7 /* Single style sheet for ALL activity Home pages please
michael@0 8 ** Tim
michael@0 9 ** We need consistency on our web site - Nov 99 AC meeting
michael@0 10 ** Please do NOT use in-line style.
michael@0 11 ** Discuss this style sheet with other users and me
michael@0 12 ** before fixing it
michael@0 13 */
michael@0 14
michael@0 15 /* These bits from Dave's inline stylein the HTML home page
michael@0 16 tbl 19991115
michael@0 17 */
michael@0 18
michael@0 19 body {
michael@0 20 margin-left: 10%;
michael@0 21 margin-right: 5%;
michael@0 22 font-family: sans-serif
michael@0 23 }
michael@0 24 h1 { margin-left: -8% }
michael@0 25 h2 { margin-left: -4% }
michael@0 26 h2 { color: #990066}
michael@0 27 h3 { color: black }
michael@0 28 pre { color: green; font-weight: bold }
michael@0 29 em { font-style: italic; font-weight: bold }
michael@0 30 strong { text-transform: uppercase; font-weight: bold }
michael@0 31 b { color:#990066}
michael@0 32
michael@0 33 td { background: #FFBFBF }
michael@0 34 th { background: #A0A0A4 }
michael@0 35 caption { text-decoration: underline; margin-top: 1em }
michael@0 36 .splash { color: #009966}
michael@0 37 p.banner { margin-left: -4% }
michael@0 38 b.black { color: black}
michael@0 39 b.pink {color:#990066} /* gimme a break -tbl */
michael@0 40 p.pink {color:#990066} /* sep of form and content?! */
michael@0 41
michael@0 42 blockquote { color: black; font-style:italic;
michael@0 43 font-family: "Comic Sans MS", sans-serif;}
michael@0 44 pre { font-family: monospace }
michael@0 45 div.disclaimer {margin-left: -8%}
michael@0 46 div.color {
michael@0 47 background: rgb(255,204,255);
michael@0 48 padding: 0.5em;
michael@0 49 border: none
michael@0 50 }
michael@0 51
michael@0 52
michael@0 53 h3.c3 {text-align: center}
michael@0 54 p.c2 {text-align: center}
michael@0 55 h1.c1 {text-align: left}
michael@0 56
michael@0 57 /* These bits from Chris L's inline style in the
michael@0 58 Graphics home page
michael@0 59 tbl 19991115
michael@0 60 */
michael@0 61
michael@0 62 body {
michael@0 63 background: white; color: black;
michael@0 64 /* font-family: serif; WinIE 4 to 5.5 problem with generic serif 20010726 */
michael@0 65 }
michael@0 66
michael@0 67 div.main {
michael@0 68 margin-left: 5%; margin-right: 2%
michael@0 69 }
michael@0 70 h1, h2, h3 {
michael@0 71 font-family: arial, helvetica, sans-serif
michael@0 72 }
michael@0 73 h2 {
michael@0 74 margin-left:-2%
michael@0 75 }
michael@0 76 .date {color: #000; background: #DFD; font-style: italic; font-weight: bold;
michael@0 77 vertical-align: top; border: none}
michael@0 78 .format {
michael@0 79 color: #000;
michael@0 80 background: #DFD;
michael@0 81 font-style: italic;
michael@0 82 font-weight: bold;
michael@0 83 vertical-align: top;
michael@0 84 border: none
michael@0 85 }
michael@0 86
michael@0 87 td {
michael@0 88 margin: 6px
michael@0 89 }
michael@0 90
michael@0 91 .offsite:link {
michael@0 92 color: #393
michael@0 93 }
michael@0 94
michael@0 95 .offsite:visited {
michael@0 96 color: #666
michael@0 97 }
michael@0 98 .newslist {
michael@0 99 margin: 3px 8px
michael@0 100 }
michael@0 101
michael@0 102 pre {
michael@0 103 font-family: Syntax, "Courier New", Courier, monospace
michael@0 104 }
michael@0 105
michael@0 106 .qdlogo {
michael@0 107 height: 48px;
michael@0 108 color: #903;
michael@0 109
michael@0 110 /* border: thin solid #903;
michael@0 111 */ font-weight: bold; font-family: Hattenschweiller, Impact, serif; vertical-align: middle
michael@0 112
michael@0 113 }
michael@0 114
michael@0 115 .filler {
michael@0 116 color: #777;
michael@0 117 font-style: italic
michael@0 118 }
michael@0 119
michael@0 120
michael@0 121
michael@0 122
michael@0 123
michael@0 124
michael@0 125
michael@0 126
michael@0 127

mercurial