<meta name="Modified" content="$(WML_GEN_ISOTIME)" />
{#style#}
{#style#:
+ <link type="text/css" href="/js/jquery-tablesorter/themes/blue/style.css" rel="stylesheet" />
+ <link type="text/css" href="/js/jquery-tablesorter/addons/pager/jquery.tablesorter.pager.css" rel="stylesheet" />
+
<link href="$(DBHOME)/debian.css" rel="stylesheet" type="text/css" />
<link href="/debdb.css" rel="stylesheet" type="text/css" />
<link href="/debian-$(CUR_ISO_LANG).css" rel="stylesheet" type="text/css" media="all"/>
:#style#}
+
+ <script language="javascript" type="text/javascript" src="/js/jquery/jquery.js"></script>
+ <script language="javascript" type="text/javascript" src="/js/jquery-metadata/jquery.metadata.js"></script>
+ <script language="javascript" type="text/javascript" src="/js/jquery-tablesorter/jquery.tablesorter.js"></script>
+ <script language="javascript" type="text/javascript" src="/js/jquery-tablesorter/addons/pager/jquery.tablesorter.pager.js"></script>
+ <script type="text/javascript">
+ $(function() {
+ $("#machines").tablesorter({widthFixed: true, widgets: ['zebra']})
+ $(".sort").removeAttr("href")
+ });
+
+ </script>
</head>
<body>