Restyle doclinks box

Apply proposed styles from #1130 (comment)

Closes #1130

Author: patrickhlauke

guidelines/guidelines.css

@@ -35,16 +35,20 @@ dd.new, dd.proposed, dd.changed {
 }
 .doclinks {
 	float: right;
-	border: thin solid black;
-	font-size: x-small;
+	border: thin solid #aaa;
+    background: #ecf2f7;
+	font-size: small;
 	display: block;
 	width: 25%;
 	hyphens: none;
-  padding: 1em;
-  display: flex;
-  flex-direction: column;
-  gap: .5em;
-  margin-left: 2em;
+    padding: 1em;
+    display: flex;
+    flex-direction: column;
+    gap: 1em;
+    margin: -3em 0 1em 2em;
+}
+.doclinks br {
+    display: none;
 }
 .sc dt {
 	display: list-item;