OLD | NEW |
1 /* Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 /* Copyright (c) 2012 The Chromium Authors. All rights reserved. |
2 * Use of this source code is governed by a BSD-style license that can be | 2 * Use of this source code is governed by a BSD-style license that can be |
3 * found in the LICENSE file. | 3 * found in the LICENSE file. |
4 */ | 4 */ |
5 | 5 |
6 /* Only common styles should be declared here. */ | 6 /* Only common styles should be declared here. */ |
7 | 7 |
8 * { | 8 * { |
9 -moz-box-sizing: border-box; | 9 -moz-box-sizing: border-box; |
10 box-sizing: border-box; | 10 box-sizing: border-box; |
11 } | 11 } |
12 body { | |
13 font-family: sans-serif; | |
14 } | |
15 | 12 |
16 /* This class is used to create the splitter widget in | 13 /* This class is used to create the splitter widget in |
17 ResizbleVerticalSplitView */ | 14 ResizbleVerticalSplitView */ |
18 .vertical-splitter { | 15 .vertical-splitter { |
19 background: #bfbfbf; | 16 background: #bfbfbf; |
20 border-left: 1px inset black; | 17 border-left: 1px inset black; |
21 border-right: 1px solid black; | 18 border-right: 1px solid black; |
22 cursor: col-resize; | 19 cursor: col-resize; |
23 position: absolute; | 20 position: absolute; |
24 user-select: none; | 21 user-select: none; |
25 width: 8px; | 22 width: 8px; |
26 } | 23 } |
27 | 24 |
| 25 /* Needs to be wider on touch devices. */ |
| 26 .touch .vertical-splitter { |
| 27 width: 5mm; |
| 28 } |
| 29 |
28 .log-source-entry { | 30 .log-source-entry { |
29 margin: 5px; | 31 margin: 5px; |
30 } | 32 } |
31 | 33 |
32 .log-source-entry * p { | 34 .log-source-entry * p { |
33 font-size: 12px; | 35 font-size: 75%; |
34 font-weight: bold; | 36 font-weight: bold; |
35 } | 37 } |
36 | 38 |
37 .log-source-entry * td { | 39 .log-source-entry * td { |
38 font-size: 10px; | 40 font-size: 62%; |
39 } | 41 } |
40 | 42 |
41 /* | 43 /* |
42 * This class should be given to top-level content boxes (like the view's main | 44 * This class should be given to top-level content boxes (like the view's main |
43 * DIV). It gives them a consistent margin, and makes them scrollable. | 45 * DIV). It gives them a consistent margin, and makes them scrollable. |
44 */ | 46 */ |
45 .content-box { | 47 .content-box { |
46 overflow: auto; | 48 overflow: auto; |
47 padding: 10px; | 49 padding: 10px; |
48 } | 50 } |
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
85 font-weight: bold; | 87 font-weight: bold; |
86 text-decoration: none; | 88 text-decoration: none; |
87 } | 89 } |
88 | 90 |
89 /** | 91 /** |
90 * Styling for text indicating a potential problem or error state. | 92 * Styling for text indicating a potential problem or error state. |
91 */ | 93 */ |
92 .warning-text { | 94 .warning-text { |
93 color: red; | 95 color: red; |
94 } | 96 } |
OLD | NEW |