docs-html/about.html | 2 1 + 1 - 0 !
docs-html/contributors.html | 2 1 + 1 - 0 !
docs-html/download.html | 2 1 + 1 - 0 !
docs-html/faq.html | 2 1 + 1 - 0 !
docs-html/featurelist.html | 2 1 + 1 - 0 !
docs-html/features.html | 2 1 + 1 - 0 !
docs-html/home.html | 2 1 + 1 - 0 !
docs-html/index.html | 2 1 + 1 - 0 !
docs-html/installation.html | 2 1 + 1 - 0 !
docs-html/keyboardshortcuts.html | 2 1 + 1 - 0 !
docs-html/screenshot1.html | 2 1 + 1 - 0 !
docs-html/screenshot2.html | 2 1 + 1 - 0 !
docs-html/screenshot3.html | 2 1 + 1 - 0 !
docs-html/statusline.html | 2 1 + 1 - 0 !
docs-html/style.css | 326 326 + 0 - 0 !
docs-html/vim.html | 2 1 + 1 - 0 !
16 files changed, 341 insertions(+), 15 deletions(-)

 php-free stylesheet for html docs
 The supplied stylesheet (docs-html/css.php) contains PHP code. This patch
 adds a PHP-free version (docs-html/style.css) and updates the references in
 all HTML files.