mozilla
/
gecko-dev
зеркало из https://github.com/mozilla/gecko-dev.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Bug 946326 - Dark theme gutter is transparent;r=nfitzgerald

This commit is contained in:
Brian Grinstead 2013-12-04 19:36:09 -06:00
Родитель e3e6035c02
Коммит d07b68dd2f
2 изменённых файлов: 4 добавлений и 4 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

4
browser/themes/shared/devtools/dark-theme.css
Просмотреть файл

@ -47,8 +47,7 @@
background: #26394D;
}
.theme-bg-darker,
.cm-s-mozilla .CodeMirror-gutters {
.theme-bg-darker {
background-color: rgba(0,0,0,0.5);
}
@ -220,6 +219,7 @@ div.CodeMirror span.eval-text {
.cm-s-mozilla .CodeMirror-gutters { /* vertical line next to line numbers */
border-right-color: #343c45;
background-color: #181d20;
}
.cm-s-markup-view pre {

4
browser/themes/shared/devtools/light-theme.css
Просмотреть файл

@ -47,8 +47,7 @@
background-color: #CCC;
}
.theme-bg-darker,
.cm-s-mozilla .CodeMirror-gutters {
.theme-bg-darker {
background: #EFEFEF;
}
@ -219,6 +218,7 @@ div.CodeMirror span.eval-text {
.cm-s-mozilla .CodeMirror-gutters { /* vertical line next to line numbers */
border-right-color: #a6a6a6;
background-color: #f7f7f7;
}
.cm-s-markup-view pre {