aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-11-10 14:35:10 -0800
committerGitHub <noreply@github.com>2018-11-10 14:35:10 -0800
commitf4d53a159642aa9182241259709659e7074425d5 (patch)
treebd149a37f465ea9d94f32108992380d4352cd4db /doc
parent8a491e437f1c8379b66a420f8584c1761b45aa7e (diff)
parent6e281ee1dfc994c40775eda044992980738d044e (diff)
Merge pull request #949 from haskell/wip/new-ocean
Introduce NewOcean theme.
Diffstat (limited to 'doc')
-rw-r--r--doc/invoking.rst6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/invoking.rst b/doc/invoking.rst
index acdba9bd..3e6e667a 100644
--- a/doc/invoking.rst
+++ b/doc/invoking.rst
@@ -295,7 +295,7 @@ The following options are available:
reader can switch between themes with browsers that support
alternate style sheets, or with the "Style" menu that gets added
when the page is loaded. If no themes are specified, then just the
- default built-in theme ("Ocean") is used.
+ default built-in theme ("NewOcean") is used.
The path parameter can be one of:
@@ -307,11 +307,11 @@ The following options are available:
- A *CSS file*: The base name of the file becomes the name of the
theme.
- - The *name* of a built-in theme ("Ocean" or "Classic").
+ - The *name* of a built-in theme ("NewOcean", "Ocean", or "Classic").
.. option:: --built-in-themes
- Includes the built-in themes ("Ocean" and "Classic"). Can be
+ Includes the built-in themes ("NewOcean", "Ocean", and "Classic"). Can be
combined with :option:`--theme`. Note that order matters: The first
specified theme will be the default.