html/template/header.wml

   1 #use wml::common_translation
   2
   3 <ifeq "$(DOCTYPE)" xhtml
   4    "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Transitional//EN\" \"http://ww w.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd\">"
   5    "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\">"
   6 />
   7 # not using [AR: dir="RTL":] because apparently the whole page was flipped
   8 # and this wasn't desirable for them
   9 <html lang="$(CUR_ISO_LANG)"[FA: dir="RTL":][HE: dir="RTL":]>
  10 {:
  11 <head>
  12   <meta http-equiv="Content-Type" content="text/html; charset=$(CHARSET)" />
  13   <title>$(BARETITLE:*Debian Project -- )$(title)</title>
  14   <link rev="made" href="mailto:webmaster@debian.org" />
  15 <when "$(MAINPAGE)">
  16   <link rel="shortcut icon" href="favicon.ico" />
  17   <meta name="Keywords"  content="<keywords/>" />
  18 </when>
  19 <when "$(SUMMARY)">
  20   <meta name="Description" content="$(SUMMARY)" />
  21 </when>
  22   <meta name="Generator" content="WML $(WML_VERSION)" />
  23   <meta name="Modified"  content="$(WML_GEN_ISOTIME)" />
  24 {#style#}
  25 {#style#:
  26  <link type="text/css" href="/js/jquery-tablesorter/themes/blue/style.css" rel="stylesheet" />
  27  <link type="text/css" href="/js/jquery-tablesorter/addons/pager/jquery.tablesorter.pager.css" rel="stylesheet" />
  28
  29 <link href="$(DBHOME)/debian.css" rel="stylesheet" type="text/css" />
  30 <link href="/debdb.css" rel="stylesheet" type="text/css" />
  31
  32 <link href="/debian-$(CUR_ISO_LANG).css" rel="stylesheet" type="text/css" media="all"/>
  33 :#style#}
  34
  35  <script language="javascript" type="text/javascript" src="/js/jquery/jquery.js"></script>
  36  <script language="javascript" type="text/javascript" src="/js/jquery-metadata/jquery.metadata.js"></script>
  37  <script language="javascript" type="text/javascript" src="/js/jquery-tablesorter/jquery.tablesorter.js"></script>
  38  <script language="javascript" type="text/javascript" src="/js/jquery-tablesorter/addons/pager/jquery.tablesorter.pager.js"></script>
  39         <script type="text/javascript">
  40         $(function() {
  41                 $("#machines").tablesorter({widthFixed: true, widgets: ['zebra']})
  42                 $(".sort").removeAttr("href")
  43         });
  44
  45         </script>
  46 </head>
  47 <body>