am 769a5d86: docs: re-add dev-docs css because it\'s needed by diff reports

# Via Scott Main
* commit '769a5d86987ef54d4b6f11b592100abadbf71756':
  docs: re-add dev-docs css because it's needed by diff reports