nodemcu-firmware/docs/css/extra.css

/*https://github.com/mkdocs/mkdocs/issues/2538*/
.wy-menu-vertical header,
.wy-menu-vertical p.caption {
  color: #55a5d9;
  font-size: 85%;
  margin: 12px 0 0;
}
Update RTD MkDocs (#3457) * Modernize docs * Remove old style hacks * Add comment 2021-08-16 07:27:56 +02:00			`/https://github.com/mkdocs/mkdocs/issues/2538/`
			`.wy-menu-vertical header,`
			`.wy-menu-vertical p.caption {`
			`color: #55a5d9;`
Tweak theme and update a few modules for consistency 2016-01-08 20:49:56 +01:00			`font-size: 85%;`
Update RTD MkDocs (#3457) * Modernize docs * Remove old style hacks * Add comment 2021-08-16 07:27:56 +02:00			`margin: 12px 0 0;`
Fix font-size, it's odd and inconsistent in the theme 2016-01-16 15:25:48 +01:00			`}`