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 |