diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/_template.html | 10 | ||||
| -rw-r--r-- | docs/style.css | 2 |
2 files changed, 6 insertions, 6 deletions
diff --git a/docs/_template.html b/docs/_template.html index d313098..58fde35 100644 --- a/docs/_template.html +++ b/docs/_template.html @@ -1,11 +1,9 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" -"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml"> +<!DOCTYPE html> +<html> <head> +<meta charset=utf-8> <title>%(title)s</title> -<style type="text/css"> -.nav { float:right; margin:1em;} -</style> +<link rel=stylesheet href=style.css> </head> <body> <div id="nav"> diff --git a/docs/style.css b/docs/style.css new file mode 100644 index 0000000..33e2c70 --- /dev/null +++ b/docs/style.css @@ -0,0 +1,2 @@ + +.nav { float:right; margin:1em;} |