+/**
+ * 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.
@borderColorInputBinaryChecked: @colorProgressive;
@borderColorInputBinaryActive: @colorProgressiveActive;
+// Border widths
+@border-width-base: 1px;
+
// Checked radio input border-width, equal to OOUI at 14px base font-size
@borderWidthRadioChecked: 0.4285em;