diff options
author | Chris Johns <chrisj@rtems.org> | 2017-03-15 12:34:19 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-03-15 15:03:41 +1100 |
commit | 1accbe31a5358b17731e5245294995a6e97b224f (patch) | |
tree | dfddde6cd84f358c533d0991d7f5ac7b809d5fda /common | |
parent | 91d6c96b4cb8fbde4d6c38deb7c5cc6ae308e30f (diff) |
user: Add tool commands to the user manual.
Diffstat (limited to 'common')
-rw-r--r-- | common/_static/my-styles.css | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/common/_static/my-styles.css b/common/_static/my-styles.css index 1fee616..3ab5cb0 100644 --- a/common/_static/my-styles.css +++ b/common/_static/my-styles.css @@ -111,6 +111,15 @@ table.rtems-table.docutils td { } /* + * Option description name. + */ +.rst-content dl:not(.docutils) dt { + background: transparent; + color: #11111111; + border-top: 0px; +} + +/* * Nav side-bar in RTEMS colours. */ .wy-nav-top, .wy-nav-top a { |