1 files changed, 5 insertions, 0 deletions
diff --git a/doc/docbook.css b/doc/docbook.css
index f1ee7e1..6a7373e 100644
--- a/doc/docbook.css
+++ b/doc/docbook.css
@@ -5,6 +5,11 @@ body
 h1.title
 {
 }
+.permission
+{
+  color: #ee0000;
+  text-decoration: underline;
+}
 .synopsis, .classsynopsis
 {
   background: #eeeeee;