DeAnnoy MDN developer.mozilla.org [papo] by papo

/* ==UserStyle==
@name           DeAnnoy MDN developer.mozilla.org [papo]
@namespace      github.com/paponius/userstyles
@version        1.0.0
@description    Updated: 2025-02. Notes and feedback: https://github.com/paponius/userstyles/MDN. See what it does in the UserStyle Options, or read @var descriptions on top of the code.
@author         Papo
@homepageURL    https://github.com/paponius/userstyles/
@supportURL     https://github.com/paponius/userstyles/
@license        CC BY-NC-SA 4.0
@preprocessor   less


@var checkbox UnstickHeader  "Unstick the header" 0
@var range    MaxWidthLimit  "MaxWidthLimit"  [1440, 800, 3000, 40, "px"]
@var select OneSideColumn  '(will come later) Move "In this article" box left, make main column wider' {
  "0:This control is used for a Note. It doesn't do anything": ''
}
@var select note1          'main column size, font size, line height is in my "Dark MDN..." UserStyle for now only' {
  "0:This control is used for a Note. It doesn't do anything": ''
}


==/UserStyle== */
/* tpl: 1.2.3 25-01 */

@-moz-document domain("developer.mozilla.org") {

& when (@UnstickHeader = 1) {
	.sticky-header-container {
/* 		position: -webkit-sticky; */
		position: relative;
	}
}


:root {
	--max-width: @MaxWidthLimit;
}

/* .main-wrapper {
	max-width: var(--max-width);
}
 */
}