diff options
| -rw-r--r-- | web/header.html | 2 | ||||
| -rw-r--r-- | web/main.css | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/web/header.html b/web/header.html index b8e41ff15..67935b585 100644 --- a/web/header.html +++ b/web/header.html @@ -3,7 +3,7 @@ <li><a href="index.html" title="Home page">Home</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="README.html" title="Pandoc user's guide">User's Guide</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> diff --git a/web/main.css b/web/main.css index 90d2750ba..a116c591b 100644 --- a/web/main.css +++ b/web/main.css @@ -127,7 +127,7 @@ dt { color:#336666; padding-left:2em; margin-bottom:0; - width: 7em; + width: 8em; } #sidebar li { font-family: verdana; @@ -158,7 +158,7 @@ dt { border: 1px solid gray; } #main.withleftmenu { - margin-left: 9em; + margin-left: 10em; } div.clear { clear: both; |