<ifeq "$(DOCTYPE)" xhtml
"<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Transitional//EN\" \"http://ww w.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd\">"
- "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\">"
+ "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\">"
/>
# not using [AR: dir="RTL":] because apparently the whole page was flipped
# and this wasn't desirable for them
-<html lang="$(CUR_ISO_LANG)"[FA: dir="RTL":]>
+<html lang="$(CUR_ISO_LANG)"[FA: dir="RTL":][HE: dir="RTL":]>
{:
<head>
<meta http-equiv="Content-Type" content="text/html; charset=$(CHARSET)" />
<meta name="Generator" content="WML $(WML_VERSION)" />
<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 text="#000000" bgcolor="#FFFFFF" link="$(LINK:-#0000FF)" vlink="$(VLINK:-#800080)" alink="$(ALINK:-#FF0000)">
+<body>