jenkins-bot has submitted this change and it was merged.
Change subject: Fix border css
......................................................................
Fix border css
Inspired by Ia244a5070
Change-Id: I16319fe49b1c359bc6b57fbaa8deea8154847d7c
---
M modules/jquery.wikiEditor.css
M modules/jquery.wikiEditor.dialogs.config.css
M modules/jquery.wikiEditor.html
M modules/jquery.wikiEditor.toc.css
M modules/jquery.wikiEditor.toolbar.css
5 files changed, 20 insertions(+), 20 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/jquery.wikiEditor.css b/modules/jquery.wikiEditor.css
index 6e05ff0..b2011bd 100644
--- a/modules/jquery.wikiEditor.css
+++ b/modules/jquery.wikiEditor.css
@@ -8,7 +8,7 @@
clear: both;
width: 100%;
background-color: #E0EEf7;
- border: solid silver 1px;
+ border: 1px solid silver;
-moz-box-sizing: border-box;
-webkit-box-sizing: border-box;
box-sizing: border-box;
@@ -24,7 +24,7 @@
}
.wikiEditor-ui .wikiEditor-ui-top {
position: relative;
- border-bottom: solid silver 1px;
+ border-bottom: 1px solid silver;
}
.wikiEditor-ui .wikiEditor-ui-left {
float: left;
@@ -44,15 +44,15 @@
width: 100%;
background-color: white;
margin-top: -1px;
- border-bottom: solid 1px silver;
+ border-bottom: 1px solid silver;
}
.wikiEditor-ui-tabs {
float: left;
height: 2.5em;
margin-left: -1px;
background-color: white;
- border-left: solid 1px silver;
- border-top: solid 1px silver;
+ border-left: 1px solid silver;
+ border-top: 1px solid silver;
}
.wikiEditor-ui-buttons {
float: right;
@@ -60,7 +60,7 @@
margin-right: -1px;
background-color: white;
padding-left: 1em;
- border-top: solid 1px white;
+ border-top: 1px solid white;
}
.wikiEditor-ui-buttons button {
margin-left: 0.5em;
@@ -69,11 +69,11 @@
float: left;
height: 2.5em;
background-color: #f3f3f3;
- border-right: solid 1px silver;
- border-bottom: solid 1px silver;
+ border-right: 1px solid silver;
+ border-bottom: 1px solid silver;
}
.wikiEditor-ui-tabs div.current {
- border-bottom: solid 1px white;
+ border-bottom: 1px solid white;
background-color: white;
}
.wikiEditor-ui-tabs div a {
diff --git a/modules/jquery.wikiEditor.dialogs.config.css
b/modules/jquery.wikiEditor.dialogs.config.css
index 39d9d50..1cc9f5a 100644
--- a/modules/jquery.wikiEditor.dialogs.config.css
+++ b/modules/jquery.wikiEditor.dialogs.config.css
@@ -129,7 +129,7 @@
}
.wikiEditor-template-dialog-fields .wikiEditor-template-dialog-field-wrapper {
padding: 0.75em 0.33em;
- border-bottom: dashed 1px silver;
+ border-bottom: 1px dashed silver;
clear: both;
}
.wikiEditor-template-dialog-fields
.wikiEditor-template-dialog-field-wrapper:first-child {
diff --git a/modules/jquery.wikiEditor.html b/modules/jquery.wikiEditor.html
index f11521a..d3767c7 100644
--- a/modules/jquery.wikiEditor.html
+++ b/modules/jquery.wikiEditor.html
@@ -62,7 +62,7 @@
background: #F3F3F3
url(images/templateEditor/text-base.png) repeat-x scroll center top;
display: block;
width: 100%;
- border-bottom: solid 1px #cccccc;
+ border-bottom: 1px solid #cccccc;
}
.wikiEditor-templateEditor .wikiEditor-template {
display: inline-block;
diff --git a/modules/jquery.wikiEditor.toc.css
b/modules/jquery.wikiEditor.toc.css
index d870e3e..c797617 100644
--- a/modules/jquery.wikiEditor.toc.css
+++ b/modules/jquery.wikiEditor.toc.css
@@ -11,7 +11,7 @@
}
.wikiEditor-ui-toc {
- border-left: solid silver 1px;
+ border-left: 1px solid silver;
}
.wikiEditor-ui-toc ul {
@@ -35,7 +35,7 @@
padding: 3px 0;
line-height: 26px;
padding-left: 1em;
- border-bottom: solid 1px silver;
+ border-bottom: 1px solid silver;
white-space: nowrap;
overflow: hidden;
}
@@ -99,7 +99,7 @@
font-size: 1em;
padding-top: 0.5em;
padding-bottom: 0.5em;
- border-bottom: solid 1px #DDDDDD;
+ border-bottom: 1px solid #DDDDDD;
}
/* Collapsing changes */
.wikiEditor-ui-toc {
diff --git a/modules/jquery.wikiEditor.toolbar.css
b/modules/jquery.wikiEditor.toolbar.css
index 6b3fc62..3551bca 100644
--- a/modules/jquery.wikiEditor.toolbar.css
+++ b/modules/jquery.wikiEditor.toolbar.css
@@ -17,7 +17,7 @@
display: none;
float: left;
width: 100%;
- border-top: solid 1px #DDDDDD;
+ border-top: 1px solid #DDDDDD;
background-color: #E0EEf7;
}
.wikiEditor-ui-toolbar {
@@ -54,7 +54,7 @@
float: left;
height: 26px;
padding-right: 6px;
- border-right: solid 1px #DDDDDD;
+ border-right: 1px solid #DDDDDD;
margin: 3px;
}
.wikiEditor-ui-toolbar .group-search {
@@ -141,7 +141,7 @@
margin: 2px;
height: 22px;
cursor: pointer;
- border: solid 1px silver;
+ border: 1px solid silver;
padding: 0;
margin-right: 0;
cursor: pointer;
@@ -166,7 +166,7 @@
display: none;
margin-left: -1px;
margin-top: 22px;
- border: solid 1px silver;
+ border: 1px solid silver;
background-color: #ffffff;
}
.wikiEditor-ui-toolbar .group .tool-select .options .option {
@@ -231,7 +231,7 @@
}
.wikiEditor-ui-toolbar .page-table td {
color: black;
- border-top: solid 1px #EEEEEE;
+ border-top: 1px solid #EEEEEE;
}
.wikiEditor-ui-toolbar .page-table th,
.wikiEditor-ui-toolbar .page-table td {
@@ -255,7 +255,7 @@
}
/* Characters Pages */
.wikiEditor-ui-toolbar .page-characters div span {
- border: solid 1px #DDDDDD;
+ border: 1px solid #DDDDDD;
padding: 5px;
padding-left: 8px;
padding-right: 8px;
--
To view, visit https://gerrit.wikimedia.org/r/120232
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I16319fe49b1c359bc6b57fbaa8deea8154847d7c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikiEditor
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <niklas.laxst...@gmail.com>
Gerrit-Reviewer: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
