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.

49 lines
2.0KB

  1. <?php
  2. if (file_exists("/home/falktx/Personal/FOSS/")) {
  3. $ROOT = "/distrho";
  4. } else {
  5. $ROOT = "";
  6. }
  7. if (isset($_COOKIE["color-theme"])) {
  8. $GLOBALS["THEME"] = htmlspecialchars($_COOKIE["color-theme"]);
  9. } else {
  10. $GLOBALS["THEME"] = "white";
  11. }
  12. $VERSION_DPF = "v1.1";
  13. $VERSION_PORTS = "2018-04-16";
  14. $URL_DPF = "https://github.com/DISTRHO/DPF-Plugins/releases/download/" . $VERSION_DPF;
  15. $URL_PORTS = "https://github.com/DISTRHO/DISTRHO-Ports/releases/download/" . $VERSION_PORTS;
  16. ?>
  17. <!DOCTYPE html>
  18. <html lang="en">
  19. <head>
  20. <title>DISTRHO - Cross-Platform Audio Plugins</title>
  21. <meta charset="utf-8">
  22. <link rel="stylesheet" href="<?php echo $ROOT; ?>/css-<?php echo $GLOBALS["THEME"]; ?>/reset.css" type="text/css" media="all">
  23. <link rel="stylesheet" href="<?php echo $ROOT; ?>/css-<?php echo $GLOBALS["THEME"]; ?>/style.css?v=2" type="text/css" media="all">
  24. <?php if ($CURRENT_PAGE == "index") { ?>
  25. <link rel="stylesheet" href="<?php echo $ROOT; ?>/css-<?php echo $GLOBALS["THEME"]; ?>/style-mini-news.css" type="text/css" media="all">
  26. <?php } ?>
  27. <link rel='stylesheet' href='<?php echo $ROOT; ?>/fonts/fonts.css' type='text/css' media="all">
  28. </head>
  29. <body>
  30. <header>
  31. <div class="container">
  32. <h1><a href="<?php echo $ROOT; ?>/"><img src="<?php echo $ROOT; ?>/images/distrho-logo.png" alt="DISTRHO"/></a></h1>
  33. <nav>
  34. <ul>
  35. <li><a href="<?php echo $ROOT; ?>/" <?php if ($CURRENT_PAGE == "index") { ?> class="current" <?php } ?>>Home</a></li>
  36. <li><a href="<?php echo $ROOT; ?>/news" <?php if ($CURRENT_PAGE == "news") { ?> class="current" <?php } ?>>News</a></li>
  37. <li><a href="<?php echo $ROOT; ?>/plugins" <?php if ($CURRENT_PAGE == "plugins") { ?> class="current" <?php } ?>>Plugins</a></li>
  38. <li><a href="<?php echo $ROOT; ?>/ports" <?php if ($CURRENT_PAGE == "ports") { ?> class="current" <?php } ?>>Ports</a></li>
  39. <li><a href="<?php echo $ROOT; ?>/about" <?php if ($CURRENT_PAGE == "about") { ?> class="current" <?php } ?>>About</a></li>
  40. </ul>
  41. </nav>
  42. </div>
  43. </header>