VolkerE has uploaded a new change for review.
https://gerrit.wikimedia.org/r/265897
Change subject: MediaWiki theme: Establish new `@border-default` variable
......................................................................
MediaWiki theme: Establish new `@border-default` variable
Establishing new `@border-default` Less variable. Also merging false
`@border-button-neutral` variable into it.
Change-Id: Ibb2fda7d023aab45fe7dc9c8ebbfba8b1adb34e1
---
M src/themes/mediawiki/common.less
M src/themes/mediawiki/elements.less
M src/themes/mediawiki/tools.less
M src/themes/mediawiki/widgets.less
4 files changed, 11 insertions(+), 11 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/97/265897/1
diff --git a/src/themes/mediawiki/common.less b/src/themes/mediawiki/common.less
index 9605c65..0133a7b 100644
--- a/src/themes/mediawiki/common.less
+++ b/src/themes/mediawiki/common.less
@@ -42,7 +42,7 @@
// Invalid Widget (validation error feedback)
@color-invalid: #f00;
-@border-button-neutral: 1px solid #cdcdcd;
+@border-default: 1px solid #ccc;
@input-border-color: #777;
@input-active-color: #ccc;
diff --git a/src/themes/mediawiki/elements.less
b/src/themes/mediawiki/elements.less
index e1a2889..e03c9a7 100644
--- a/src/themes/mediawiki/elements.less
+++ b/src/themes/mediawiki/elements.less
@@ -173,7 +173,7 @@
& > .oo-ui-buttonElement-button {
color: @color-default;
background-color: @background-color-default;
- border: @border-button-neutral;
+ border: @border-default;
&:hover {
background-color: darken(
@background-color-default, 8% );
diff --git a/src/themes/mediawiki/tools.less b/src/themes/mediawiki/tools.less
index af1b9ff..9b930c0 100644
--- a/src/themes/mediawiki/tools.less
+++ b/src/themes/mediawiki/tools.less
@@ -282,7 +282,7 @@
.oo-ui-toolGroup-tools {
top: 3.125em;
margin: 0 -1px;
- border: 1px solid #ccc;
+ border: @border-default;
background-color: @oo-ui-toolbar-normal;
box-shadow: 0 2px 3px rgba( 0, 0, 0, 0.2 );
min-width: 16em;
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index 929b4bc..70b6e7b 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -108,7 +108,7 @@
padding: 0.5em 0;
height: 2.275em;
line-height: 1.275;
- border: 1px solid #ccc;
+ border: @border-default;
border-radius: @border-radius-default;
.oo-ui-indicatorElement-indicator {
@@ -187,7 +187,7 @@
&-info {
height: 2.4em;
background-color: @background-color-default;
- border: 1px solid #ccc;
+ border: @border-default;
border-radius: @border-radius-default;
> .oo-ui-indicatorElement-indicator {
@@ -434,7 +434,7 @@
font-size: inherit;
font-family: inherit;
.oo-ui-box-sizing( border-box );
- border: 1px solid #ccc;
+ border: @border-default;
border-radius: @border-radius-default;
padding-left: 1em;
vertical-align: middle;
@@ -559,7 +559,7 @@
font-family: inherit;
background-color: @background-color-default;
color: @color-emphasized;
- border: 1px solid #ccc;
+ border: @border-default;
border-radius: @border-radius-default;
.oo-ui-box-sizing( border-box );
@@ -700,7 +700,7 @@
.oo-ui-inline-spacing( 0.5em );
padding: 0.15em 0.25em;
- border: 1px solid #ccc;
+ border: @border-default;
border-radius: @border-radius-default;
.oo-ui-box-sizing( border-box );
@@ -786,7 +786,7 @@
height: 1.7em;
line-height: 1.7em;
background-color: #eee;
- border: 1px solid #ccc;
+ border: @border-default;
color: @color-default;
border-radius: @border-radius-default;
@@ -1107,7 +1107,7 @@
&-query {
height: 4em;
padding: 0 1em;
- border-bottom: 1px solid #ccc;
+ border-bottom: @border-default;
.oo-ui-textInputWidget {
margin: 0.75em 0;
@@ -1301,7 +1301,7 @@
.theme-oo-ui-progressBarWidget () {
max-width: 50em;
background-color: @background-color-default;
- border: 1px solid #ccc;
+ border: @border-default;
border-radius: @border-radius-default;
overflow: hidden;
--
To view, visit https://gerrit.wikimedia.org/r/265897
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ibb2fda7d023aab45fe7dc9c8ebbfba8b1adb34e1
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
