| 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 |