前回の記事でmbedエディタのフォントを変更する方法を書きましたが、毎回デベロッパーツールから変更するのは面倒なので、簡単に変更できるようにブックマークレットとchrome拡張機能を作ってみました。ブックマークレットはchromeだけじゃなくFirefoxやSafariなどにも対応しています。 ブックマークレット javascript:(function(){ var font = "Courier New"; /*フォント名を指定*/ var font_size = "13px"; /*フォントサイズを指定*/ var styleElem = document.createElement("style"); styleElem.appendChild( document.createTextNode(".editor_cursor, .editor_line, .editor_line_