update css: add table.border

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@55028 15284696-431f-4ddb-bdfa-cd5b030d7da7

man/grassdocs.css

@@ -11,61 +11,79 @@
  *	http://www.w3.org/TR/REC-CSS2/tables.html
  */
 
-BODY{	background: white;
-	color: black;
-	font-family: arial,sans-serif;
+body{
+    background: white;
+    color: black;
+    font-family: arial,sans-serif;
 }
 
-H1{	background-color: transparent;
-	color: rgb(25%, 60%, 25%);
-	font-family: arial,sans-serif;
-	font-weight: bold;
-	font-size: x-large;
+h1{
+    background-color: transparent;
+    color: rgb(25%, 60%, 25%);
+    font-family: arial,sans-serif;
+    font-weight: bold;
+    font-size: x-large;
 }
 
-H2{	background-color: transparent;
-	color: rgb(25%, 60%, 25%);
-	font-family: arial,sans-serif;
-	font-weight: bold;
-	font-size: large;
+h2{
+    background-color: transparent;
+    color: rgb(25%, 60%, 25%);
+    font-family: arial,sans-serif;
+    font-weight: bold;
+    font-size: large;
 }
 
-H3{     background-color: transparent;
-	color: rgb(25%, 60%, 25%);
-	font-family: arial,sans-serif;
-	font-weight: bold;
-	font-size: large;
+h3{
+    background-color: transparent;
+    color: rgb(25%, 60%, 25%);
+    font-family: arial,sans-serif;
+    font-weight: bold;
+    font-size: large;
 }
 
-H4{	background-color: transparent;
-	color: rgb(25%, 60%, 25%);
-	font-family: arial,sans-serif;
-	font-weight: bold;
-	font-size: medium;
+h4{
+    background-color: transparent;
+    color: rgb(25%, 60%, 25%);
+    font-family: arial,sans-serif;
+    font-weight: bold;
+    font-size: medium;
 }
 
-DIV.code{	width: 95%;
-		color : black;
-		background-color: rgb(90%, 90%, 90%);
-		padding-left: 1em;
-		padding-right: 1em;
+div.code{
+    width: 95%;
+    color : black;
+    background-color: rgb(90%, 90%, 90%);
+    padding-left: 1em;
+    padding-right: 1em;
 }
 
-SPAN.code{	width: 95%;
-		color : black;
-		background-color: rgb(90%, 90%, 90%);
-		padding-left: 1em;
-		padding-right: 1em;
+span.code {
+    width: 95%;
+    color : black;
+    background-color: rgb(90%, 90%, 90%);
+    padding-left: 1em;
+    padding-right: 1em;
 }
 
 .leftmenu {
-	padding-left: 10px;
+    padding-left: 10px;
 }
 
-.BOX {
-	border:  1px solid #c9c9c9;
-	margin: 0px 2px 2px 10px;
-	padding: 0px 4px 2px 6px;
-	-moz-border-radius: 6px ;
+.box {
+    border:  1px solid #c9c9c9;
+    margin: 0px 2px 2px 10px;
+    padding: 0px 4px 2px 6px;
+    -moz-border-radius: 6px ;
 }
 
+table {
+    border-collapse:collapse;
+}
+
+table.border td {
+    border: 1px solid rgb(25%, 60%, 25%);
+}
+
+td {
+    padding: 5px;
+}