html/index.php

   1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"\r
   2         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">\r
   3 \r
   4 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">\r
   5 <head>\r
   6         <title>Twirssi: a twitter script for irssi</title>\r
   7         <style type="text/css" media="all">\r
   8 \r
   9         code {\r
  10                 font-size: medium;\r
  11         }\r
  12         \r
  13         body {\r
  14                 font: 0.8em arial, helvetica, sans-serif;\r
  15         }\r
  16         \r
  17     #header ul {\r
  18                 list-style: none;\r
  19                 padding: 0;\r
  20                 margin: 0;\r
  21     }\r
  22     \r
  23         #header li {\r
  24                 float: left;\r
  25                 border: 1px solid white;\r
  26                 margin: 0;\r
  27                 font-weight: bold;\r
  28                 font-size: larger;\r
  29                 border-left-width: 0;\r
  30     }\r
  31     \r
  32         #header a {\r
  33                 text-decoration: none;\r
  34                 display: block;\r
  35                 background: #70a0f0;\r
  36                 padding: 0.24em 1em;\r
  37                 color: white;\r
  38                 width: 8em;\r
  39                 text-align: center;\r
  40     }\r
  41 \r
  42         #header a:visited {\r
  43                 color: white;\r
  44         }\r
  45         \r
  46         #header a:hover {\r
  47                 background: #3c68e5;\r
  48         }\r
  49         \r
  50         #header #selected {\r
  51         }\r
  52         \r
  53         #header #selected a {\r
  54                 position: relative;\r
  55                 background: white;\r
  56                 color: black;\r
  57         }\r
  58         \r
  59         #content {\r
  60                 clear: both;\r
  61                 padding: 0.5em 1em;\r
  62 \r
  63         }\r
  64         \r
  65         h1 {\r
  66                 margin: 0;\r
  67                 padding: 0 0 1em 0;\r
  68         }\r
  69 \r
  70         </style>\r
  71         \r
  72 </head>\r
  73 \r
  74 <body bgcolor="#80a0ff">\r
  75 \r
  76 \r
  77 \r
  78 <p id="title" height="150">\r
  79         <a href="index.php"><img src="twirssibird.png" alt="Twirssi logo" style="float:left;margin-right:5px" border="0"/></a>\r
  80         <font size="6" color="white"><b>Twirssi</b></font>\r
  81         <font size="5"><div style="text-indent:1em;color:#3c68e5">a twitter script for irssi</div></font>\r
  82 </p>\r
  83 \r
  84 <div id="header">\r
  85         <ul>\r
  86                 <?php\r
  87                         $about = $installing = $using = $history = "";\r
  88                         if (isset($_GET['installing'])) {\r
  89                                 $installing = "id=\"selected\"";\r
  90                                 $content = "installing.html";\r
  91                         } elseif (isset($_GET['using'])) {\r
  92                                 $using = "id=\"selected\"";\r
  93                                 $content = "using.html";\r
  94                         } elseif (isset($_GET['history'])) {\r
  95                                 $history = "id=\"selected\"";\r
  96                                 $content = "history.html";\r
  97                         } elseif (isset($_GET['tweets'])) {\r
  98                                 $tweets = "id=\"selected\"";\r
  99                                 $content = "tweets.html";\r
 100                         } elseif (isset($_GET['merch'])) {\r
 101                                 $content = "merch.html";\r
 102                         } else {\r
 103                                 $about = "id=\"selected\"";\r
 104                                 $content = "about.html";\r
 105                         }\r
 106                 ?>\r
 107                 <li <?=$about?> style="border-left-width: 1px"><a href="index.php">About</a></li>\r
 108                 <li <?=$installing?>><a href="?installing">Installing</a></li>\r
 109                 <li <?=$using?>><a href="?using">Using</a></li>\r
 110                 <li <?=$history?>><a href="?history">Version History</a></li>\r
 111                 <li <?=$tweets?>><a href="?tweets">Recent Tweets</a></li>\r
 112         </ul>\r
 113 </div>\r
 114 \r
 115 \r
 116 <div id="content" style="background:white">\r
 117         <p>\r
 118         <?=file_get_contents($content)?>\r
 119         </p>\r
 120 </div>\r
 121 \r
 122 <script type="text/javascript">\r
 123 var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");\r
 124 document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));\r
 125 </script>\r
 126 <script type="text/javascript">\r
 127 try {\r
 128     var pageTracker = _gat._getTracker("UA-190820-2");\r
 129     pageTracker._trackPageview();\r
 130 } catch(err) {}</script>\r
 131 </body>\r
 132 </html>\r
 133 \r