diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ptx-theme/static/ptx.css | 2 | ||||
| -rw-r--r-- | doc/ptx-theme/theme.conf | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/ptx-theme/static/ptx.css b/doc/ptx-theme/static/ptx.css index 36e07b6df..6f8035f30 100644 --- a/doc/ptx-theme/static/ptx.css +++ b/doc/ptx-theme/static/ptx.css @@ -1,4 +1,4 @@ -@import url("default.css"); +@import url("classic.css"); div.important { background-color: #eee; diff --git a/doc/ptx-theme/theme.conf b/doc/ptx-theme/theme.conf index ebae6b94b..362414ed9 100644 --- a/doc/ptx-theme/theme.conf +++ b/doc/ptx-theme/theme.conf @@ -1,3 +1,3 @@ [theme] -inherit = default +inherit = classic stylesheet = ptx.css |