Use css dots instead of pictures

Same rationale as 1.3 debhome.css

CVS version numbers

english/debian.css: 1.90 -> 1.91

1 files changed, 10 insertions, 15 deletions

diff --git a/english/debian.css b/english/debian.css
index 15c15f1d3dc..e38cd18f689 100644
--- a/english/debian.css
+++ b/english/debian.css
@@ -448,18 +448,16 @@ acronym, abbr {
 .toc {
 	font-size: 0.75em;
 	list-style:none;
-	background-image: url('Pics/greydot.png');
-	background-position: bottom left;
-	background-repeat: repeat-x;
+	border-bottom: dotted grey;
+	border-width: 1px;
 	line-height:1.833;
 	padding: 0;
 	max-width: 62%;
 	margin: 2em 0 2em 0;
 }
 .toc li {
-	background-image: url('Pics/greydot.png');
-	background-position: top left;
-	background-repeat: repeat-x;
+	border-top: dotted grey;
+	border-width: 1px;
 	padding: 0.0833em 0 0.0833em 0;
  }
 .toc a {
@@ -473,9 +471,8 @@ acronym, abbr {
 }
 .toc dt {
 	margin: 0;
-	background-image: url('Pics/greydot.png');
-	background-position: top left;
-	background-repeat: repeat-x;
+	border-top: dotted grey;
+	border-width: 1px;
 	padding: 0.0833em 0 0.0833em 0;
 }
 
@@ -816,9 +813,8 @@ table td {
 	padding-bottom: 0.75em;
 	padding-top: 0.75em;
 	line-height: 1.2em;
-	background-image: url("Pics/greydot.png");
-	background-position: left top;
-	background-repeat: repeat-x;
+	border-top: dotted grey;
+	border-width: 1px;
 }
 div.tabular table tr, table.tabular tr, table.vendors tr {
 	width: 100%;
@@ -831,9 +827,8 @@ table th {
 }
 
 div.tabular table td, table.tabular td, table.vendors td {
-	background-image: url(Pics/greydot.png);
-	background-position: top left;
-	background-repeat: repeat-x;
+	border-top: dotted grey;
+	border-width: 1px;
 }
 div.tabular table > td:first-child, table.tabular > td:first-child, table.vendors  > td:first-child {
 	background-image: none;