use docs_menu as the default menu style for the whole website
[web.git] / css /
drwxr-xr-x   ..
-rw-r--r-- 9246 asciidoc.css
-rw-r--r-- 1160 lede.css