Local CSS: Notebox border change and margins.

1 files changed, 3 insertions, 0 deletions

diff --git a/local.css b/local.css
index ed3224e8..fea1ff81 100644
--- a/local.css
+++ b/local.css
@@ -115,6 +115,9 @@ DIV#content {
 
 DIV.notebox {
 	color: #00f !important;
+	border: medium;
+	margin-right: -32%;
+	width: 30%;
 }
 
 div#pageinfo {