diff --git a/html/css/styles.css b/html/css/styles.css index 6bb1e47028..6bd008478c 100644 --- a/html/css/styles.css +++ b/html/css/styles.css @@ -2,14 +2,7 @@ body { font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0px; padding: 0px; - background: rgb(249,249,249); /* Old browsers */ - background: -moz-linear-gradient(top, rgba(249,249,249,1) 0%, rgba(255,255,255,1) 100%); /* FF3.6+ */ - background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(249,249,249,1)), color-stop(100%,rgba(255,255,255,1))); /* Chrome,Safari4+ */ - background: -webkit-linear-gradient(top, rgba(249,249,249,1) 0%,rgba(255,255,255,1) 100%); /* Chrome10+,Safari5.1+ */ - background: -o-linear-gradient(top, rgba(249,249,249,1) 0%,rgba(255,255,255,1) 100%); /* Opera11.10+ */ - background: -ms-linear-gradient(top, rgba(249,249,249,1) 0%,rgba(255,255,255,1) 100%); /* IE10+ */ - filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#f9f9f9', endColorstr='#ffffff',GradientType=0 ); /* IE6-9 */ - background: linear-gradient(top, rgba(249,249,249,1) 0%,rgba(255,255,255,1) 100%); /* W3C */ + background: rgb(255,255,255); /* Old browsers */ color: #555; font-size: 10pt; line-height: 20px; diff --git a/html/map.php b/html/map.php index 098a289d1e..6c827a3b66 100755 --- a/html/map.php +++ b/html/map.php @@ -178,6 +178,7 @@ if (isset($_GET['format']) && preg_match("/^[a-z]*$/", $_GET['format'])) { # $maptool = $config['unflatten'] . ' -f -l 5 | ' . $config['sfdp'] . ' -Gpack -Gcharset=latin1 | '.$config['dot']; $maptool = $config['neato']; + $maptool = $config['dot']; } else { $maptool = $config['dot']; }