doc-default-theme.patch
