style changes of viewsource.php