mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-30 18:04:27 +00:00
7 lines
82 B
Plaintext
7 lines
82 B
Plaintext
/* Ace Editor customizations */
|
|
|
|
// T271956
|
|
.ace_gutter-cell {
|
|
color: #72777d;
|
|
}
|