| 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 box-sizing: border-box; | 9 box-sizing: border-box; |
| 10 } | 10 } |
| 11 | 11 |
| 12 html { |
| 13 direction: ltr; |
| 14 } |
| 15 |
| 12 body { | 16 body { |
| 17 font-family: DejaVu Sans, Arial, sans-serif; |
| 18 font-size: 95%; |
| 13 overflow: hidden; /* Prevents scroll bar flickering on resize. */ | 19 overflow: hidden; /* Prevents scroll bar flickering on resize. */ |
| 14 } | 20 } |
| 15 | 21 |
| 22 button { |
| 23 font-family: DejaVu Sans, Arial, sans-serif; |
| 24 } |
| 25 |
| 16 ul { | 26 ul { |
| 17 padding-left: 2em; | 27 padding-left: 2em; |
| 18 } | 28 } |
| 19 | 29 |
| 20 /** | 30 /** |
| 21 * This class is used to create the splitter widget in | 31 * This class is used to create the splitter widget in |
| 22 * ResizbleVerticalSplitView. | 32 * ResizbleVerticalSplitView. |
| 23 */ | 33 */ |
| 24 .vertical-splitter { | 34 .vertical-splitter { |
| 25 -webkit-user-select: none; | 35 -webkit-user-select: none; |
| (...skipping 120 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 146 } | 156 } |
| 147 | 157 |
| 148 /** | 158 /** |
| 149 * Styling for elements that show a help window on mouse over. | 159 * Styling for elements that show a help window on mouse over. |
| 150 */ | 160 */ |
| 151 .mouse-over-help-hover { | 161 .mouse-over-help-hover { |
| 152 color: blue; | 162 color: blue; |
| 153 cursor: help; | 163 cursor: help; |
| 154 } | 164 } |
| 155 | 165 |
| OLD | NEW |