diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/header.html | 4 | ||||
| -rw-r--r-- | web/main.css | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/web/header.html b/web/header.html index 6f9ce637d..b8e41ff15 100644 --- a/web/header.html +++ b/web/header.html @@ -1,10 +1,10 @@ <div id="sidebar"> <ul> <li><a href="index.html" title="Home page">Home</a></li> -<li><a href="README.html" title="Pandoc documentation">README</a></li> <li><a href="features.html" title="Pandoc features">Features</a></li> <li><a href="examples.html" title="Pandoc demos">Examples</a></li> -<li><a href="doc/index.html" title="API documentation for Pandoc libraries">API</a></li> +<li><a href="README.html" title="Pandoc user's guide">User's Guide</a></li> +<li><a href="doc/index.html" title="API documentation for Pandoc libraries">API Docs</a></li> <li><a href="changelog.html" title="Pandoc's changelog">Changelog</a></li> </ul> </div> diff --git a/web/main.css b/web/main.css index c99ba7067..8f2d52a13 100644 --- a/web/main.css +++ b/web/main.css @@ -3,7 +3,7 @@ body { padding:0; background-color: white; color: black; - font-family: Georgia, Verdana, sans-serif; + font-family: Verdana, sans-serif; font-size: medium; line-height: 1.3em; color: #333; |