diff --git a/doc/manual.css b/doc/manual.css
index 4a461d8..0493921 100644
--- a/doc/manual.css
+++ b/doc/manual.css
@@ -19,3 +19,13 @@ body {
 
   font-family: arial, serif;
 }
+
+dfn {
+  font-style: italic;
+  font-weight: bold;
+}
+
+.float-caption {
+    font-size: 0.9em;
+}
+