layout/style/viewsource.css@97036ab72558 (annotated)
layout/style/viewsource.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 | @charset "utf-8"; |
| michael@0 | 2 | /* This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 3 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 4 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
| michael@0 | 5 | |
| michael@0 | 6 | @namespace url(http://www.w3.org/1999/xhtml); /* set default namespace to HTML */ |
| michael@0 | 7 | |
| michael@0 | 8 | *|*:root { |
| michael@0 | 9 | background-color: white; |
| michael@0 | 10 | color: black; |
| michael@0 | 11 | direction: ltr; |
| michael@0 | 12 | -moz-control-character-visibility: visible; |
| michael@0 | 13 | } |
| michael@0 | 14 | #viewsource { |
| michael@0 | 15 | font-family: -moz-fixed; |
| michael@0 | 16 | font-weight: normal; |
| michael@0 | 17 | white-space: pre; |
| michael@0 | 18 | counter-reset: line; |
| michael@0 | 19 | } |
| michael@0 | 20 | #viewsource.wrap { |
| michael@0 | 21 | white-space: pre-wrap; |
| michael@0 | 22 | word-wrap: break-word; |
| michael@0 | 23 | } |
| michael@0 | 24 | pre { |
| michael@0 | 25 | font: inherit; |
| michael@0 | 26 | color: inherit; |
| michael@0 | 27 | white-space: inherit; |
| michael@0 | 28 | margin: 0 0 0 5ch; |
| michael@0 | 29 | } |
| michael@0 | 30 | pre[id]:before, |
| michael@0 | 31 | span[id]:before { |
| michael@0 | 32 | content: counter(line) " "; |
| michael@0 | 33 | counter-increment: line; |
| michael@0 | 34 | -moz-user-select: none; |
| michael@0 | 35 | display: inline-block; |
| michael@0 | 36 | width: 5ch; |
| michael@0 | 37 | margin: 0 0 0 -5ch; |
| michael@0 | 38 | text-align: right; |
| michael@0 | 39 | color: #ccc; |
| michael@0 | 40 | font-weight: normal; |
| michael@0 | 41 | font-style: normal; |
| michael@0 | 42 | } |
| michael@0 | 43 | .start-tag { |
| michael@0 | 44 | color: purple; |
| michael@0 | 45 | font-weight: bold; |
| michael@0 | 46 | } |
| michael@0 | 47 | .end-tag { |
| michael@0 | 48 | color: purple; |
| michael@0 | 49 | font-weight: bold; |
| michael@0 | 50 | } |
| michael@0 | 51 | .comment { |
| michael@0 | 52 | color: green; |
| michael@0 | 53 | font-style: italic; |
| michael@0 | 54 | } |
| michael@0 | 55 | .cdata { |
| michael@0 | 56 | color: #CC0066; |
| michael@0 | 57 | } |
| michael@0 | 58 | .doctype { |
| michael@0 | 59 | color: steelblue; |
| michael@0 | 60 | font-style: italic; |
| michael@0 | 61 | } |
| michael@0 | 62 | .pi { |
| michael@0 | 63 | color: orchid; |
| michael@0 | 64 | font-style: italic; |
| michael@0 | 65 | } |
| michael@0 | 66 | .entity { |
| michael@0 | 67 | color:#FF4500; |
| michael@0 | 68 | font-weight: normal; |
| michael@0 | 69 | } |
| michael@0 | 70 | .text { |
| michael@0 | 71 | font-weight: normal; |
| michael@0 | 72 | } |
| michael@0 | 73 | .attribute-name { |
| michael@0 | 74 | color: black; |
| michael@0 | 75 | font-weight: bold; |
| michael@0 | 76 | } |
| michael@0 | 77 | .attribute-value { |
| michael@0 | 78 | color: blue; |
| michael@0 | 79 | font-weight: normal; |
| michael@0 | 80 | } |
| michael@0 | 81 | .markupdeclaration { |
| michael@0 | 82 | color: steelblue; |
| michael@0 | 83 | font-style: italic; |
| michael@0 | 84 | } |
| michael@0 | 85 | span:not(.error), a:not(.error) { |
| michael@0 | 86 | unicode-bidi: embed; |
| michael@0 | 87 | } |
| michael@0 | 88 | span[id] { |
| michael@0 | 89 | unicode-bidi: -moz-isolate; |
| michael@0 | 90 | } |
| michael@0 | 91 | .error, |
| michael@0 | 92 | .error > :-moz-any(.start-tag, .end-tag, .comment, .cdata, .doctype, .pi, |
| michael@0 | 93 | .entity, .attribute-name, .attribute-value) { |
| michael@0 | 94 | color: red; |
| michael@0 | 95 | font-weight: bold; |
| michael@0 | 96 | } |
