summaryrefslogtreecommitdiffstats
path: root/docs/dex-format.css
diff options
context:
space:
mode:
Diffstat (limited to 'docs/dex-format.css')
-rw-r--r--docs/dex-format.css10
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/dex-format.css b/docs/dex-format.css
index 17e935f75..153dd4e8d 100644
--- a/docs/dex-format.css
+++ b/docs/dex-format.css
@@ -85,13 +85,13 @@ table td {
background: #eeeeff;
}
-table p {
+table p {
margin-bottom: 0pt;
}
/* for the bnf syntax sections */
-table.bnf {
+table.bnf {
background: #eeeeff;
border-color: #aaaaff;
border-style: solid;
@@ -104,7 +104,7 @@ table.bnf {
padding-right: 6pt;
}
-table.bnf td {
+table.bnf td {
border: none;
padding-left: 6pt;
padding-right: 6pt;
@@ -112,12 +112,12 @@ table.bnf td {
padding-bottom: 1pt;
}
-table.bnf td:first-child {
+table.bnf td:first-child {
padding-right: 0pt;
width: 8pt;
}
-table.bnf td:first-child td {
+table.bnf td:first-child td {
padding-left: 0pt;
}