Chrome DevTools Protocol Doc Dark by WgetCloud

/* ==UserStyle==
@name         Chrome DevTools Protocol Doc Dark
@version      20230530.06.32
@namespace    userstyles.world/user/WgetCloud
@description  Chrome DevTools Protocol Dark Theme
@author       WgetCloud
@license      No License
==/UserStyle== */

@-moz-document domain("chromedevtools.github.io") {
  	main,
  	main > section {
  	  background-color: #223;
  	}
  	main > section *:not(h1, h2, h3) {
  	  font-size: 102.5%;
  	}
  	.main-content-section:not(.domain),
  	.domain-section > div {
  	  background-color: #112;
  	  color: #eee;
  	}
  	code {
  	  font-size: 110% !important;
  	  color: #e8b;
  	  word-wrap: break-word;
  	}
  	a {
  	  color: rgb(139, 185, 254);
  	}
  	a:visited {
  	  color: rgb(150, 180, 250);
  	}
  	aside a {
  	  color: unset !important;
  	}
  	span.domain-dot {
  	  color: rgb(173, 181, 189);
  	}
  	h3 {
  	  color: hsl(0, 0%, 70%);
  	}
  	.details-name {
  	  font-size: 130%;
  	}
  	.details > .properties-name {
  	  color: rgba(173, 181, 189, 0.9);
  	  font-size: 85%;
  	}
}