| 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 814 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 825 } | 825 } |
| 826 | 826 |
| 827 body.platform-linux .monospace, | 827 body.platform-linux .monospace, |
| 828 body.platform-linux .source-code { | 828 body.platform-linux .source-code { |
| 829 font-size: 11px !important; | 829 font-size: 11px !important; |
| 830 font-family: dejavu sans mono, monospace; | 830 font-family: dejavu sans mono, monospace; |
| 831 } | 831 } |
| 832 | 832 |
| 833 .console-view { | 833 .console-view { |
| 834 background-color: white; | 834 background-color: white; |
| 835 overflow: hidden; |
| 835 } | 836 } |
| 836 | 837 |
| 837 .console-view-wrapper { | 838 .console-view-wrapper { |
| 838 background-color: rgb(236, 236, 236); | 839 background-color: rgb(236, 236, 236); |
| 839 } | 840 } |
| 840 | 841 |
| 841 .console-status-bar, | 842 .console-status-bar, |
| 842 .console-filters-header { | 843 .console-filters-header { |
| 843 flex: 0 0 23px; | 844 flex: 0 0 23px; |
| 844 overflow: hidden; | 845 overflow: hidden; |
| (...skipping 2051 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2896 } | 2897 } |
| 2897 | 2898 |
| 2898 select.drop-down-menu { | 2899 select.drop-down-menu { |
| 2899 border: none; | 2900 border: none; |
| 2900 -webkit-appearance: none; | 2901 -webkit-appearance: none; |
| 2901 } | 2902 } |
| 2902 | 2903 |
| 2903 .viewport-control-gap-element { | 2904 .viewport-control-gap-element { |
| 2904 color: transparent; | 2905 color: transparent; |
| 2905 } | 2906 } |
| OLD | NEW |