そういや、Google ChromeのDeveloper ToolsってCSS当てられる気がする - Pastalablog in はてなと思ったからググったらあった。 SouffleCode.net: The Leading Souffle Code Site on the Net ！！！Chrome v33からCustom.cssを変更しても効かないようになったので注意！！！！（エントリーの最後に代替策について記述しています） Chrome Developer Toolsを開いて、別窓にしてもう1回ショートカットキーを押すとDeveloper ToolsのウィンドウをDeveloper Toolsで解析できる。便利。 でも、なんかウィンドウいっぱい開かないといけないから面倒だって人は、Chromeでchrome-devtools://devtools/bundled/devtools.htmlを開けば直接HTMLファイルを開けるので、この状態で普段HTMLを見る時みたいに見れる。便利。 これを開いてると、Custom.c
