Skip to content
Browse files
Use better names for logo files (#847)
  • Loading branch information
flodolo authored and TheoChevalier committed Feb 1, 2017
1 parent 7d30b78 commit 2a1782744426af145dad5e957914ae8e63696609
Show file tree
Hide file tree
Showing 8 changed files with 4 additions and 13 deletions.
@@ -89,8 +89,8 @@
<?php foreach ($css_files as $css_file):?>
<link rel="stylesheet" href="/style/<?= $css_file . $cache_bust ?>" type="text/css" media="all" />
<?php endforeach?>
<link rel="shortcut icon" type="image/png" href="/img/logo/Icon_16x16.png" />
<link rel="shortcut icon" type="image/svg+xml" href="/img/logo/Icon.svg" />
<link rel="shortcut icon" type="image/png" href="/img/logo/favicon16.png" />
<link rel="shortcut icon" type="image/svg+xml" href="/img/logo/favicon.svg" />
<link rel="alternate" type="application/rss+xml" title="Changelog RSS" href="/rss" />
<body id="<?= $page ?>" class="nojs">
@@ -111,7 +111,7 @@
print "<div id='beta-badge'><span>BETA</span></div>\n";
<h1 id="logo"><a href="/"><img src="/img/logo/Logo_Full.svg" alt="Transvision"></a></h1>
<h1 id="logo"><a href="/"><img src="/img/logo/transvision.svg" alt="Transvision"></a></h1>
<?php if ($experimental == true): ?>
<h2 id="experimental" class="alert">Experimental View</h2>
<?php endif; ?>
Deleted file not rendered
File renamed without changes.
File renamed without changes
File renamed without changes.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
File renamed without changes.
File renamed without changes

0 comments on commit 2a17827

Please sign in to comment.