From: Jacob Lifshay <programmerjake@gmail.com>
Date: Mon, 17 Jun 2019 09:42:48 +0000 (-0700)
Subject: remove dashed border on right
X-Git-Tag: convert-csv-opcode-to-binary~4619
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=81fed0530b0bcb96761166de88ab9e271296b645;p=libreriscv.git

remove dashed border on right

dashed border on right was conflicting with wide tables
---

diff --git a/local.css b/local.css
index e8229f243..1c423e5a4 100644
--- a/local.css
+++ b/local.css
@@ -16,7 +16,6 @@ body{
 	margin-left: 10px;
 	margin-right: -10px;
 	text-align: left;
-	border-right: dashed 1px;
 	padding-right: 30px;
 }
 .pagedate{