jenkins-bot has submitted this change and it was merged.
Change subject: Remove border radii from CalendarWidget
......................................................................
Remove border radii from CalendarWidget
Also remove rule removing border from 'today' on hover.
Bug: T113740
Change-Id: I9d71064b847433ed98ebaa8a1dce36af2cca7d27
---
M resources/src/mediawiki.widgets/mw.widgets.CalendarWidget.less
1 file changed, 1 insertion(+), 29 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/src/mediawiki.widgets/mw.widgets.CalendarWidget.less
b/resources/src/mediawiki.widgets/mw.widgets.CalendarWidget.less
index 21a9019..702eb80 100644
--- a/resources/src/mediawiki.widgets/mw.widgets.CalendarWidget.less
+++ b/resources/src/mediawiki.widgets/mw.widgets.CalendarWidget.less
@@ -208,6 +208,7 @@
/* Theme-specific */
.mw-widget-calendarWidget-day {
color: #444;
+ border-radius: 0.1em;
}
.mw-widget-calendarWidget-day-heading {
@@ -221,42 +222,13 @@
.mw-widget-calendarWidget-day-today {
box-shadow: inset 0 0 0 1px #3787fb;
- border-radius: ((@calendarHeight / 7) / 2);
}
.mw-widget-calendarWidget-item-selected {
background-color: #d8e6fe;
color: #3787fb;
-
- &.mw-widget-calendarWidget-day,
- &.mw-widget-calendarWidget-day-heading {
- border-radius: ((@calendarHeight / 7) / 2);
- }
-
- &.mw-widget-calendarWidget-month {
- border-radius: ((@calendarHeight / 6) / 2);
- }
-
- &.mw-widget-calendarWidget-year {
- border-radius: ((@calendarHeight / 4) / 2);
- }
}
.mw-widget-calendarWidget-item:hover {
background-color: #eee;
-
- &.mw-widget-calendarWidget-day,
- &.mw-widget-calendarWidget-day-heading {
- border-radius: ((@calendarHeight / 7) / 4);
- // Hide the border from .mw-widget-calendarWidget-day-today
- box-shadow: none;
- }
-
- &.mw-widget-calendarWidget-month {
- border-radius: ((@calendarHeight / 6) / 4);
- }
-
- &.mw-widget-calendarWidget-year {
- border-radius: ((@calendarHeight / 4) / 4);
- }
}
--
To view, visit https://gerrit.wikimedia.org/r/241092
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9d71064b847433ed98ebaa8a1dce36af2cca7d27
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Edokter <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
