Index: program/lib/washtml.php
===================================================================
--- program/lib/washtml.php	(revision 98c2d69acf3001379dc008dc52b77b618c291140)
+++ program/lib/washtml.php	(revision f38dfc294abde08a7296f871397f18c2162f143d)
@@ -200,5 +200,5 @@
       $value = $node->getAttribute($key);
       if (isset($this->_html_attribs[$key]) ||
-         ($key == 'href' && preg_match('/^(http:|https:|ftp:|mailto:|#).+/i', $value)))
+         ($key == 'href' && preg_match('!^(http:|https:|ftp:|mailto:|//|#).+!i', $value)))
         $t .= ' ' . $key . '="' . htmlspecialchars($value, ENT_QUOTES) . '"';
       else if ($key == 'style' && ($style = $this->wash_style($value))) {