summaryrefslogtreecommitdiff
path: root/extensions/WikiEditor/modules/jquery.wikiEditor.less
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2015-12-17 09:15:42 +0100
committerPierre Schmitz <pierre@archlinux.de>2015-12-17 09:44:51 +0100
commita1789ddde42033f1b05cc4929491214ee6e79383 (patch)
tree63615735c4ddffaaabf2428946bb26f90899f7bf /extensions/WikiEditor/modules/jquery.wikiEditor.less
parent9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff)
Update to MediaWiki 1.26.0
Diffstat (limited to 'extensions/WikiEditor/modules/jquery.wikiEditor.less')
-rw-r--r--extensions/WikiEditor/modules/jquery.wikiEditor.less8
1 files changed, 4 insertions, 4 deletions
diff --git a/extensions/WikiEditor/modules/jquery.wikiEditor.less b/extensions/WikiEditor/modules/jquery.wikiEditor.less
index 18adf867..96e133eb 100644
--- a/extensions/WikiEditor/modules/jquery.wikiEditor.less
+++ b/extensions/WikiEditor/modules/jquery.wikiEditor.less
@@ -8,7 +8,7 @@
position: relative;
clear: both;
width: 100%;
- background-color: #E0EEf7;
+ background-color: #e0eef7;
textarea {
width: 100%;
@@ -39,7 +39,7 @@
.wikiEditor-ui-right {
float: right;
- background: #F3F3F3;
+ background: #f3f3f3;
overflow: hidden;
}
}
@@ -74,7 +74,7 @@
display: inline-block;
padding: 0 0.75em;
line-height: 2.5em;
- color: #0645AD;
+ color: #0645ad;
}
&.current {
@@ -82,7 +82,7 @@
background-color: white;
a {
- color: #333333;
+ color: #333;
&:hover {
text-decoration: none;