User documentation: synchronize userguide from the userguide translator

Change-Id: I9b30ae27658a40b85c67a4c30aaea2b4bf9507f9
2021-07-21 12:54:38 +01:00
parent 510780798f
commit c18f9eb4ea
2051 changed files with 20432 additions and 6277 deletions
@@ -221,7 +221,9 @@ table.index {
 	border-width: 1px;
 	border-style: dotted;
 	border-color: #e0e0e0;
-	float:right;
+	float: right;
+	position: relative;
+	z-index: 10;
 }
 table.index tr.heading {
 	background-color: #e0e0e0;