layout/doc/obsolete/layout.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 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 2 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 4
michael@0 5 @namespace xlink url("http://www.w3.org/1999/xlink");
michael@0 6
michael@0 7 Documentation {
michael@0 8 display: block;
michael@0 9 font-family: Verdana, sans-serif;
michael@0 10 font-size: 11pt;
michael@0 11 margin: 8px;
michael@0 12 }
michael@0 13 Author {
michael@0 14 display: block;
michael@0 15 font-size: 90%;
michael@0 16 }
michael@0 17 Author:before {
michael@0 18 content: "Author: ";
michael@0 19 font-weight: bold;
michael@0 20 }
michael@0 21 UpdateDate {
michael@0 22 display: block;
michael@0 23 font-size: 90%;
michael@0 24 }
michael@0 25 UpdateDate:before {
michael@0 26 content: "Updated: ";
michael@0 27 font-weight: bold;
michael@0 28 }
michael@0 29 Title {
michael@0 30 display: block;
michael@0 31 font-size: 250%;
michael@0 32 font-weight: bold;
michael@0 33 letter-spacing: -1.25pt;
michael@0 34 margin-top: 0;
michael@0 35 margin-bottom: .5em;
michael@0 36 }
michael@0 37 SectionHeading {
michael@0 38 display: block;
michael@0 39 font-size: 125%;
michael@0 40 font-weight: bold;
michael@0 41 margin-top: 2em;
michael@0 42 margin-bottom: .5em;
michael@0 43 }
michael@0 44 Body {
michael@0 45 display: block;
michael@0 46 margin-top: 1em;
michael@0 47 margin-bottom: .5em;
michael@0 48 }
michael@0 49 SectionHeading + Body { /* body after section heading */
michael@0 50 margin-top: 0;
michael@0 51 }
michael@0 52 Components {
michael@0 53 display: block;
michael@0 54 margin-top: 1em;
michael@0 55 margin-left: .5in;
michael@0 56 border: dotted 1px black;
michael@0 57 }
michael@0 58 :link:hover {
michael@0 59 background-color: blue;
michael@0 60 color: white;
michael@0 61 cursor: pointer;
michael@0 62 }
michael@0 63
michael@0 64 /* workaround for above rule not working */
michael@0 65 *[xlink|type] {
michael@0 66 cursor: pointer;
michael@0 67 }
michael@0 68
michael@0 69 /* workaround for above rule not working */
michael@0 70 *[xlink|show="replace"] {
michael@0 71 cursor: pointer;
michael@0 72 }
michael@0 73
michael@0 74 Term {
michael@0 75 display: block;
michael@0 76 font-weight: bold;
michael@0 77 background-color: lightyellow;
michael@0 78 padding-left: .5em;
michael@0 79 }
michael@0 80 Definition {
michael@0 81 display: block;
michael@0 82 margin-left: 40px;
michael@0 83 }
michael@0 84 Interfaces, Characteristics, Items, Categories {
michael@0 85 display: block;
michael@0 86 margin-left: 40px;
michael@0 87 list-style-position: outside;
michael@0 88 list-style-type: disc;
michael@0 89 }
michael@0 90 Purposes {
michael@0 91 display: block;
michael@0 92 margin-left: 40px;
michael@0 93 list-style-position: outside;
michael@0 94 list-style-type: decimal;
michael@0 95 counter-reset: -html-counter 0;
michael@0 96 }
michael@0 97 Interface, Characteristic, Purpose, Item, Category {
michael@0 98 display: list-item;
michael@0 99 }
michael@0 100 RunIn {
michael@0 101 display: inline;
michael@0 102 font-weight: bold;
michael@0 103 }
michael@0 104 Note {
michael@0 105 width: 2in;
michael@0 106 height: auto;
michael@0 107 float: right;
michael@0 108 font-size: 90%;
michael@0 109 margin-left: 1em;
michael@0 110 margin-right: .5em;
michael@0 111 border-top: solid 2px black;
michael@0 112 border-bottom: solid 1px black;
michael@0 113 padding: .5em 0;
michael@0 114 }
michael@0 115 Note:before {
michael@0 116 content: "Note";
michael@0 117 font-weight: bold;
michael@0 118 display: inline;
michael@0 119 background-color: black;
michael@0 120 color: white;
michael@0 121 margin-right: .25em;
michael@0 122 padding: .5em .25em 0 .25em;
michael@0 123 }
michael@0 124

mercurial