OLD | NEW |
1 /* Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 /* Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
2 * for details. All rights reserved. Use of this source code is governed by a | 2 * for details. All rights reserved. Use of this source code is governed by a |
3 * BSD-style license that can be found in the LICENSE file. | 3 * BSD-style license that can be found in the LICENSE file. |
4 */ | 4 */ |
5 | 5 |
6 .mainEditorPane { | 6 .mainEditorPane { |
7 padding: 0px; | 7 padding: 0px; |
8 } | |
9 | |
10 div { | |
11 counter-reset: dart-line-number; | 8 counter-reset: dart-line-number; |
12 } | 9 } |
13 | 10 |
14 .lineNumber { | 11 .lineNumber { |
15 padding-left: 3.5em; | 12 padding-left: 3.5em; |
16 } | 13 } |
17 | 14 |
18 .lineNumber:before { | 15 .lineNumber:before { |
19 counter-increment: dart-line-number; | 16 counter-increment: dart-line-number; |
20 content: counter(dart-line-number) " "; | 17 content: counter(dart-line-number) " "; |
21 position: absolute; | 18 position: absolute; |
22 left: 0px; | 19 left: 0px; |
23 width: 3em; | 20 width: 3em; |
24 text-align: right; | 21 text-align: right; |
25 background-color: lightgoldenrodyellow; | 22 background-color: lightgoldenrodyellow; |
26 } | 23 } |
OLD | NEW |