Merge "SQLite: Make patch-add-3d.sql a no-op"

[lhc/web/wiklou.git] / resources / src / mediawiki.less / mediawiki.ui / variables.less

diff --git a/resources/src/mediawiki.less/mediawiki.ui/variables.less b/resources/src/mediawiki.less/mediawiki.ui/variables.less
index 0c897dc..0d1a657 100644 (file)
--- a/resources/src/mediawiki.less/mediawiki.ui/variables.less
+++ b/resources/src/mediawiki.less/mediawiki.ui/variables.less
@@ -1,3 +1,25 @@
+/**
+ * Minimum available screen width at which a device can be considered a mobile device
+ * Many older feature phones have screens smaller than this value.
+ * Number is prone to change with new information.
+ * @since 1.31
+ */
+@width-breakpoint-mobile: 320px;
+
+/**
+ * Minimum available screen width at which a device can be considered a tablet
+ * The number is currently based on the device width of a Samsung Galaxy S5 mini and is low
+ * enough to cover iPad (768px). Number is prone to change with new information.
+ * @since 1.31
+ */
+@width-breakpoint-tablet: 720px;
+/**
+ * Minimum available screen width at which a device can be considered a desktop
+ * Number is prone to change with new information.
+ * @since 1.31
+ */
+@width-breakpoint-desktop: 1000px;
+
 // Colors for use in mediawiki.ui and elsewhere
 
 // Although this defines many shades, be parsimonious in your own use of grays.
@@ -14,6 +36,7 @@
 @colorBaseInverted: #fff;
 
 // Semantic colors
+@background-color-base: #fff;
 // Blue; for contextual use of a continuing action
 @colorProgressive: #36c;
 @colorProgressiveHighlight: #447ff5;
@@ -53,9 +76,16 @@
 @colorNeutral: @colorGray7;
 
 // Border colors
+@border-color-base: #a2a9b1;
 @borderColorInputBinaryChecked: @colorProgressive;
 @borderColorInputBinaryActive: @colorProgressiveActive;
 
+// Border styles
+@border-style-base: solid;
+
+// Border widths
+@border-width-base: 1px;
+
 // Checked radio input border-width, equal to OOUI at 14px base font-size
 @borderWidthRadioChecked: 0.4285em;
 
@@ -74,12 +104,3 @@
 
 // Form input sizes, equal to OOUI at 14px base font-size
 @sizeInputBinary: 1.5625em;
-
-// Deprecated color variables from when WikimediaUI color palette wasn't around
-// See https://wikimedia.github.io/WikimediaUI-Style-Guide/visual-style_colors.html
-@colorGray3: #333;
-@colorGray6: #666;
-@colorGray8: #888;
-@colorGray9: #999;
-@colorGray11: #bbb;
-@colorGray13: #ddd;