equal
deleted
inserted
replaced
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> |
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> |
2 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-US"> |
2 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-US"> |
3 <head> |
3 <head> |
4 <link rel="icon" href="{staticurl}hgicon.png" type="image/png" /> |
4 <link rel="icon" href="{staticurl|urlescape}hgicon.png" type="image/png" /> |
5 <meta name="robots" content="index, nofollow" /> |
5 <meta name="robots" content="index, nofollow" /> |
6 <link rel="stylesheet" href="{staticurl}style-paper.css" type="text/css" /> |
6 <link rel="stylesheet" href="{staticurl|urlescape}style-paper.css" type="text/css" /> |
7 <script type="text/javascript" src="{staticurl}mercurial.js"></script> |
7 <script type="text/javascript" src="{staticurl|urlescape}mercurial.js"></script> |