Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
// ==UserScript==
// @name mbedIDE Theme - Nyatlan Black
// @namespace http://nyatla.jp
// @include https://developer.mbed.org/compiler/*
// @version 3
// @grant none
// ==/UserScript==
var head_tag=document.getElementsByTagName('head')[0];
var css=
"#aboutedit_screen{color:white;background-color:black;}"+
"#aboutedit_screen .EDITOR_LINE{color:white;}"+
"#aboutedit_screen .EDITOR_LINE_POI{background-color:DarkGreen}"+
"#aboutedit_screen .EDITOR_LINE_CURRENT{background-color:inherit;border-color:#A9A9A9;border-style:solid;border-width:0px 0px 1px 0px;}"+
"#aboutedit_screen .EDITOR_LINE_WARNING{background-color:Olive}"+
"#aboutedit_screen .EDITOR_LINE_ERROR{background-color:DarkRed}"+
"#aboutedit_screen .EDITOR_LINE_DIFF_D{background-color:DarkGreen}"+
"#aboutedit_screen .EDITOR_LINE_DIFF_A{background-color:DarkRed}"+
"body .EDITOR_CURSOR{background-color:#C0C0C0;}"+
"#aboutedit_screen .SH_RESERVED{color:#1E90FF;}"+
"#aboutedit_screen .SH_COMMENT{color:#A9A9A9}"+
"#aboutedit_screen .SH_BUILTIN{color:#00CED1}"+
"#aboutedit_screen .SH_STRING{color:Orange}"+
"#aboutedit_screen .SH_STRMATH{color:#87CEEB}"+
"#aboutedit_screen .SH_STDLIB{color:#4169E1}"+
"#aboutedit_screen .SH_STDIO{color:#4169E1}"+
"body .EDITOR_LN{background-color:black;}";
function insertCss(i_rule)
{
var s=document.createElement('style');
var r= document.createTextNode(i_rule);
s.media = 'screen';
s.type = 'text/css';
if (s.styleSheet) {
s.styleSheet.cssText = r.nodeValue;
} else {
s.appendChild(r);
};
head_tag.appendChild(s);
}
insertCss(css);
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.