DISTRHO
/
Website
mirror of https://github.com/DISTRHO/Website
1
0
Fork 0
Code Releases 0 Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
42 Commits
1 Branch
16MB
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Website/inc_header.php

45 lines
1.9KB
Raw Permalink Blame History 

  1. <?php

  2. 

  3. if (file_exists("/home/falktx/Personal/FOSS/")) {

  4.     $ROOT = "/distrho";

  5. } else {

  6.     $ROOT = "";

  7. }

  8. 

  9. $VERSION_DPF   = "v1.1";

  10. $VERSION_PORTS = "2018-04-16";

  11. 

  12. $URL_DPF   = "https://github.com/DISTRHO/DPF-Plugins/releases/download/" . $VERSION_DPF;

  13. $URL_PORTS = "https://github.com/DISTRHO/DISTRHO-Ports/releases/download/" . $VERSION_PORTS;

  14. 

  15. ?>

  16. <!DOCTYPE html>

  17. <html lang="en">

  18. <head>

  19.   <title>DISTRHO - Cross-Platform Audio Plugins</title>

  20.   <meta charset="utf-8">

  21.   <link rel="stylesheet" href="<?php echo $ROOT; ?>/css/reset.css" type="text/css" media="all">

  22.   <link rel="stylesheet" href="<?php echo $ROOT; ?>/css/style.css" type="text/css" media="all">

  23. <?php if ($CURRENT_PAGE == "index") { ?>

  24.   <link rel="stylesheet" href="<?php echo $ROOT; ?>/css/style-news-mini.css" type="text/css" media="all">

  25. <?php } else if ($CURRENT_PAGE == "news") { ?>

  26.   <link rel="stylesheet" href="<?php echo $ROOT; ?>/css/style-news-full.css" type="text/css" media="all">

  27. <?php } ?>

  28.   <link rel='stylesheet' href='<?php echo $ROOT; ?>/fonts/fonts.css' type='text/css' media="all">

  29. </head>

  30. <body>

  31. <header>

  32.   <div class="container">

  33.     <h1><a href="<?php echo $ROOT; ?>/"><img src="<?php echo $ROOT; ?>/images/distrho-logo.png" alt="DISTRHO"/></a></h1>

  34.     <nav>

  35.       <ul>

  36.         <li><a href="<?php echo $ROOT; ?>/"        <?php if ($CURRENT_PAGE == "index")   { ?> class="current" <?php } ?>>Home</a></li>

  37.         <li><a href="<?php echo $ROOT; ?>/news"    <?php if ($CURRENT_PAGE == "news")    { ?> class="current" <?php } ?>>News</a></li>

  38.         <li><a href="<?php echo $ROOT; ?>/plugins" <?php if ($CURRENT_PAGE == "plugins") { ?> class="current" <?php } ?>>Plugins</a></li>

  39.         <li><a href="<?php echo $ROOT; ?>/ports"   <?php if ($CURRENT_PAGE == "ports")   { ?> class="current" <?php } ?>>Ports</a></li>

  40.         <li><a href="<?php echo $ROOT; ?>/about"   <?php if ($CURRENT_PAGE == "about")   { ?> class="current" <?php } ?>>About</a></li>

  41.       </ul>

  42.     </nav>

  43.   </div>

  44. </header>