| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2009 Apple Inc. All rights reserved. | 2 * Copyright (C) 2009 Apple Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions | 5 * modification, are permitted provided that the following conditions |
| 6 * are met: | 6 * are met: |
| 7 * | 7 * |
| 8 * 1. Redistributions of source code must retain the above copyright | 8 * 1. Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * 2. Redistributions in binary form must reproduce the above copyright | 10 * 2. Redistributions in binary form must reproduce the above copyright |
| (...skipping 97 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 108 .webkit-html-external-link { | 108 .webkit-html-external-link { |
| 109 /* Keep this in sync with view-source.css (.webkit-html-external-link) */ | 109 /* Keep this in sync with view-source.css (.webkit-html-external-link) */ |
| 110 text-decoration: none; | 110 text-decoration: none; |
| 111 } | 111 } |
| 112 | 112 |
| 113 .webkit-html-external-link:hover { | 113 .webkit-html-external-link:hover { |
| 114 /* Keep this in sync with view-source.css (.webkit-html-external-link:hover)
*/ | 114 /* Keep this in sync with view-source.css (.webkit-html-external-link:hover)
*/ |
| 115 text-decoration: underline; | 115 text-decoration: underline; |
| 116 } | 116 } |
| 117 | 117 |
| 118 .webkit-html-blackbox-link { |
| 119 opacity: 0.6; |
| 120 } |
| 121 |
| 118 .webkit-html-end-of-file { | 122 .webkit-html-end-of-file { |
| 119 /* Keep this in sync with view-source.css (.webkit-html-end-of-file) */ | 123 /* Keep this in sync with view-source.css (.webkit-html-end-of-file) */ |
| 120 color: rgb(255, 0, 0); | 124 color: rgb(255, 0, 0); |
| 121 font-weight: bold; | 125 font-weight: bold; |
| 122 } | 126 } |
| OLD | NEW |