diff options
Diffstat (limited to 'INDEX.html')
| -rw-r--r-- | INDEX.html | 15 |
1 files changed, 9 insertions, 6 deletions
@@ -1,12 +1,15 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml"> +<!DOCTYPE html> +<html> <head> - <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> - <meta http-equiv="Content-Style-Type" content="text/css" /> - <meta name="generator" content="pandoc" /> + <meta charset="utf-8"> + <meta name="generator" content="pandoc"> + <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes"> <title></title> <style type="text/css">code{white-space: pre;}</style> - <link href="data:text/css;charset=utf-8,%2A%20%7Bfont%2Dfamily%3A%20Courier%20New%2C%20Courier%2C%20Monospace%7D%0A" rel="stylesheet" type="text/css" /> + <link href="data:text/css;charset=utf-8,%2A%20%7Bfont%2Dfamily%3A%20Courier%20New%2C%20Courier%2C%20Monospace%7D%0A" rel="stylesheet"> + <!--[if lt IE 9]> + <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script> + <![endif]--> </head> <body> <h1 id="public-documents">public documents</h1> |