gian/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Increase CodeMirror font size

Browse Source
This commit is contained in:
Marc Delisle 2012-01-20 04:25:44 -05:00
parent 56699c3cc6
commit b3143e6cc0
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
themes/original/css/theme_right.css.php
View File

@ -2191,7 +2191,7 @@ fieldset .disabled-field td {
}
.CodeMirror {
line-height: 1em;
font-size: 140%;
font-family: monospace;
background: white;
border: 1px solid black;

2
themes/pmahomme/css/theme_right.css.php
View File

@ -2611,7 +2611,7 @@ fieldset .disabled-field td {
}
.CodeMirror {
line-height: 1em;
font-size: 140%;
font-family: monospace;
background: white;
border: 1px solid black;