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 @@
  • Home
  • Features
  • Examples
  • -
  • User's Guide
  • +
  • User’s Guide
  • API Docs
  • Changelog
  • 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;