Modify styles

Sorry but I left some redundant modifies at #7.

testing/test_runner.js is NOT a default target of checker.py (without args) anyway.