doc: shrink font sizes in navbar
[charm.git] / contrib /
drwxr-xr-x   ..
-rw-r--r-- 2295 ci.vim