Update userguide translations, waddlesplash as nielx

2017-02-01 04:48:59 +01:00
parent 7407e36a10
commit 7a3f3e0965
536 changed files with 4859 additions and 2567 deletions
@@ -21,7 +21,7 @@ body {
 	line-height: 1.5;
 	margin: 0;
 	padding: 0;
-	font-family: "Noto Sans", Arial, Helvetica, sans-serif;
+	font-family: "DejaVu Sans", Arial, Helvetica, sans-serif;
 }

 /* link colors and text decoration */
@@ -373,7 +373,7 @@ pre.terminal {			/* Terminal output*/
 	
 	/* some links we want to print the url along with (CSS2) */
 	a.printurl:after {
-		content: " &lt;" attr(href) "&gt;";
+		content: " <" attr(href) ">";
 		font-weight: normal;
 		font-size: small;
 	}