HEADER.html

   1
   2 <style type="text/css">
   3   .readable {
   4   font-family:"Bitstream Vera Serif","Georgia",serif;
   5   font-size:1em;
   6   font-size-adjust:none;
   7   font-stretch:normal;
   8   font-style:normal;
   9   font-variant:normal;
  10   font-weight:normal;
  11   line-height:1.5em;
  12   margin:1.2em 0pt;
  13   }
  14
  15   .info {
  16   margin: 1em;
  17   padding-left: 0.5em;
  18   border: 1px solid black;
  19   border-color: black;
  20   background-color: #F9F9F9;
  21   }
  22
  23   h1 { text-align: center }
  24
  25 </style>
  26
  27 <script type="text/javascript">
  28   var branch_url = location.href;
  29   var branch_name = branch_url.split('/');
  30   branch_name = branch_name[ branch_name.length - 2 ];
  31
  32 </script>
  33
  34 <body>
  35   <div class="info readable">
  36     <h1><script
  37     type="text/javascript">document.write(branch_name);</script></h1>
  38
  39     <p>This is a <a href="http://bazaar-vcs.org/">Bazaar</a>
  40       branch. To download the source code use <tt>bzr</tt>,</p>
  41     <code>
  42       $ bzr
  43       get <b><script type="text/javascript">document.write(branch_url);
  44       </script></b>
  45     </code>
  46     <p>You can also browse the branch below.</p>
  47   </div>
  48 </body>
  49