Switch to chunked docbook output; add a style hack to fix book navigation