diff options
author | Stef Walter <stefw@gnome.org> | 2013-01-30 15:30:52 +0100 |
---|---|---|
committer | Stef Walter <stefw@gnome.org> | 2013-02-05 15:00:24 +0100 |
commit | 722efb88cf12261d705e2a6dfb4aceab9ff7b76f (patch) | |
tree | a58e8a82441fe33cfbb1f408b2c662d73c1f6c48 /doc/style.css | |
parent | 9a21e6ddf9eb7bb0f13f01cddba9dedd7a6e43b3 (diff) |
Implement basic extract support
* The only formats supported are x509-file and x509-directory
Allow tool to build without extract
Diffstat (limited to 'doc/style.css')
-rw-r--r-- | doc/style.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index b4b8d47..3d0f951 100644 --- a/doc/style.css +++ b/doc/style.css @@ -110,3 +110,7 @@ DIV.toc DT { TABLE.variablelist SPAN.term { padding-right: 1em; } + +DIV.cmdsynopsis { + font-family: monospace; +} |