JSON for github.com by mlipok

/* ==UserStyle==
@name         JSON for GitHub
@version      20220120.23.49
@namespace    userstyles.world/user/mlipok
@description  Improves JSON syntax highlightment on https://github.com/
@author       mlipok
@license      Creative Commons
==/UserStyle== */

@-moz-document domain("github.com") {
div.highlight-source-json pre {
	font-weight: bold;
}

div.highlight-source-json span.pl-c1 {
	color: blue !important;
}

div.highlight-source-json span.pl-s {
	color: green !important;
}

div.highlight-source-json span.pl-smi {
	color: chocolate !important;
}

div.highlight-source-json span.pl-pds {
	color: black !important;
}

div.highlight-source-json span.pl-ent {
	color: orange !important;
}

div.highlight-source-json span.pl-c {
	color: darkgray !important;
}

div.highlight-source-json span.pl-k {
	color: purple !important;
}



table[data-tagsearch-lang~="JSON"] {
	font-weight: bold;
}

table[data-tagsearch-lang~="JSON"] span.pl-c1 {
	color: blue !important;
}

table[data-tagsearch-lang~="JSON"] span.pl-s {
	color: green !important;
}

table[data-tagsearch-lang~="JSON"] span.pl-smi {
	color: chocolate !important;
}

table[data-tagsearch-lang~="JSON"] span.pl-pds {
	color: black !important;
}

table[data-tagsearch-lang~="JSON"] span.pl-ent {
	color: orange !important;
}

table[data-tagsearch-lang~="JSON"] span.pl-c {
	color: darkgray !important;
}

table[data-tagsearch-lang~="JSON"] span.pl-k {
	color: purple !important;
}


}