aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/style.css1
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/style.css b/doc/style.css
index f4f304f..06e8aed 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -392,7 +392,6 @@ ul, ol {
margin-left: 1em;
}
.restriction {
- border-left: 4px solid #ddd;
margin: .5ex 0 1ex 4ex;
padding: 0 0 0 1ex;
}