CSS changes in website: better display of definition

lists for command-line options.


git-svn-id: https://pandoc.googlecode.com/svn/trunk@795 788f1e2b-df1e-0410-8736-df70ead52e1b

1 files changed, 7 insertions, 0 deletions

diff --git a/web/pandoc.css b/web/pandoc.css
index fc0e042be..04a4aeb14 100644
--- a/web/pandoc.css
+++ b/web/pandoc.css
@@ -56,6 +56,13 @@ h1.title {
         border: none;
 }
 
+dt code {
+        font-weight: bold;
+}
+dd p {
+        margin-top: 0;
+}
+
 #footer {
         padding-top: 1em;
         font-size: 70%;