styling workarounds for readthedocs theme + Configuration.md progress