ochalog

Ruby と MediaWiki が好きな電子・情報系の学生のブログ。

JSLint の見た目をなんとかする方法

JSLint<html>lang="en" が設定されていないせいで、Firefox で見たときにフォントが悲惨なことになるのを直す方法。

userContent.css に以下を追加する。フォント名は自分の環境に合わせて書き換える。

/* For JSLint */
@-moz-document domain(jslint.com) {
    div#JSLINT_ textarea, div#JSLINT_ dl, div#JSLINT_ dd {
        font-family: "Nimbus Mono L", monospace !important;
    }
 
    div#JSLINT_ dt, div#JSLINT_ address, .tristate var {
        font-family: "Minion Pro", serif !important;
    }
}