This is primarily to enable the "make STYLE=website html" build
option of the PostgreSQL docs, as the pgweb docs page uses
the "base.css" file to render the documentation. By updating the
dynamic doc.css generation file, we can allow the builders of the
documentation to better preview what their documentation will look
like when it is loaded onto the website.
Presently, the dynamic "docs.css" is unused in pgweb or the core
project, and as those are the two biggest consumers of the
documentation styles, this is an apparent safe vector to make this
change.
_dynamic_cssmap = {
'base': ['media/css/main.css',
'media/css/normalize.css', ],
- 'docs': ['media/css/global.css',
- 'media/css/table.css',
- 'media/css/text.css',
- 'media/css/docs.css'],
+ 'docs': ['media/css/fontawesome.css',
+ 'media/css/bootstrap.min.css',
+ 'media/css/bootstrap.min.css.map',
+ 'media/css/main.css',
+ 'media/css/normalize.css',],
}