diff options
Diffstat (limited to '_nav/index.php')
-rw-r--r-- | _nav/index.php | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/_nav/index.php b/_nav/index.php new file mode 100644 index 000000000..6b1277f99 --- /dev/null +++ b/_nav/index.php @@ -0,0 +1,15 @@ +<html lang="en"> +<head> + <meta name="robots" content="noindex,nosnippet,nofollow"> + <style> + #navdoc { font: 14px/1.4 "Trebuchet MS", "Lucida Grande", "Lucida Sans", Verdana, Tahoma, Arial, sans-serif; } + #navdoc code { background: #333; color: #eee; font-size: 80%; padding: 0.5em; } + </style> +</head> +<body id="navdoc"> +<?php +include '../lib/php-markdown/markdown.php'; +echo Markdown(file_get_contents('README.md')); +?> +</body> +</html>
\ No newline at end of file |