Después de varias horas trabajando el fin de semana he conseguido un juego de herramientas muy útiles para los sitios de documentación que estoy creando con mkdocs. Ahora a ver qué problemas tengo que resolver.