fix judger.css
fix judger.php