OLD | NEW |
1 /* | 1 /* |
2 * Copyright (C) 2006, 2007, 2008 Apple Inc. All rights reserved. | 2 * Copyright (C) 2006, 2007, 2008 Apple Inc. All rights reserved. |
3 * Copyright (C) 2009 Anthony Ricaud <rik@webkit.org> | 3 * Copyright (C) 2009 Anthony Ricaud <rik@webkit.org> |
4 * | 4 * |
5 * Redistribution and use in source and binary forms, with or without | 5 * Redistribution and use in source and binary forms, with or without |
6 * modification, are permitted provided that the following conditions | 6 * modification, are permitted provided that the following conditions |
7 * are met: | 7 * are met: |
8 * | 8 * |
9 * 1. Redistributions of source code must retain the above copyright | 9 * 1. Redistributions of source code must retain the above copyright |
10 * notice, this list of conditions and the following disclaimer. | 10 * notice, this list of conditions and the following disclaimer. |
(...skipping 744 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
755 } | 755 } |
756 | 756 |
757 #drawer-tabbed-pane > .tabbed-pane-header { | 757 #drawer-tabbed-pane > .tabbed-pane-header { |
758 background-color: rgb(236, 236, 236); | 758 background-color: rgb(236, 236, 236); |
759 } | 759 } |
760 | 760 |
761 #drawer-contents .tabbed-pane-header .tabbed-pane-header-tab { | 761 #drawer-contents .tabbed-pane-header .tabbed-pane-header-tab { |
762 cursor: default; | 762 cursor: default; |
763 } | 763 } |
764 | 764 |
765 body.platform-mac .monospace, | |
766 body.platform-mac .source-code { | |
767 font-size: 11px !important; | |
768 font-family: Menlo, monospace; | |
769 } | |
770 | |
771 body.platform-mac.platform-mac-tiger .monospace, | |
772 body.platform-mac.platform-mac-tiger .source-code { | |
773 font-size: 10px !important; | |
774 font-family: Monaco, monospace; | |
775 } | |
776 | |
777 body.platform-windows .monospace, | |
778 body.platform-windows .source-code { | |
779 font-size: 12px !important; | |
780 font-family: Consolas, Lucida Console, monospace; | |
781 } | |
782 | |
783 body.platform-linux .monospace, | |
784 body.platform-linux .source-code { | |
785 font-size: 11px !important; | |
786 font-family: dejavu sans mono, monospace; | |
787 } | |
788 | |
789 .console-view { | 765 .console-view { |
790 background-color: white; | 766 background-color: white; |
791 overflow: hidden; | 767 overflow: hidden; |
792 } | 768 } |
793 | 769 |
794 .console-view-wrapper { | 770 .console-view-wrapper { |
795 background-color: rgb(236, 236, 236); | 771 background-color: rgb(236, 236, 236); |
796 } | 772 } |
797 | 773 |
798 .console-status-bar, | 774 .console-status-bar, |
(...skipping 532 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1331 min-width: 100%; | 1307 min-width: 100%; |
1332 } | 1308 } |
1333 | 1309 |
1334 .outline-disclosure, | 1310 .outline-disclosure, |
1335 .outline-disclosure ol { | 1311 .outline-disclosure ol { |
1336 list-style-type: none; | 1312 list-style-type: none; |
1337 -webkit-padding-start: 12px; | 1313 -webkit-padding-start: 12px; |
1338 margin: 0; | 1314 margin: 0; |
1339 } | 1315 } |
1340 | 1316 |
1341 .source-code { | |
1342 font-family: monospace; | |
1343 font-size: 11px !important; | |
1344 white-space: pre-wrap; | |
1345 } | |
1346 | |
1347 .console-message-text { | 1317 .console-message-text { |
1348 white-space: pre-wrap; | 1318 white-space: pre-wrap; |
1349 } | 1319 } |
1350 | 1320 |
1351 .outline-disclosure li { | 1321 .outline-disclosure li { |
1352 padding: 0 0 0 14px; | 1322 padding: 0 0 0 14px; |
1353 margin-top: 1px; | 1323 margin-top: 1px; |
1354 margin-left: -2px; | 1324 margin-left: -2px; |
1355 word-wrap: break-word; | 1325 word-wrap: break-word; |
1356 } | 1326 } |
(...skipping 1476 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2833 } | 2803 } |
2834 | 2804 |
2835 .resources-divider-label { | 2805 .resources-divider-label { |
2836 position: absolute; | 2806 position: absolute; |
2837 top: 4px; | 2807 top: 4px; |
2838 right: 3px; | 2808 right: 3px; |
2839 font-size: 80%; | 2809 font-size: 80%; |
2840 white-space: nowrap; | 2810 white-space: nowrap; |
2841 pointer-events: none; | 2811 pointer-events: none; |
2842 } | 2812 } |
OLD | NEW |