doc: Update the CSS to support our custom table class

Other change:

 * Use GitHub style <code> border
 * Add support for HTML <kbd> tags

docs/_parser.lua

@@ -176,7 +176,7 @@ local function create_table(entries, columns, prefix)
     end
 
     return [[--<table class='widget_list' border=1>
-]]..prefix..[[<tr style='font-weight: bold;'>
+]]..prefix..[[<tr>
 ]]..prefix..[[ <th align='center'>Name</th>
 ]]..prefix..[[ <th align='center'>Description</th>
 ]]..prefix..[[</tr>

docs/common/rules_index.ldoc

@@ -1,5 +1,5 @@
 --<table class='widget_list' border=1>
--- <tr style='font-weight: bold;'>
+-- <tr>
 --  <th align='center'>Name</th>
 --  <th align='center'>Description</th>
 -- </tr>

docs/ldoc.css

@@ -22,7 +22,7 @@ hr {
     margin: 15px 0;
 }
 
-code, tt {
+tt {
     font-family: monospace;
 }
 span.parameter {
@@ -47,6 +47,19 @@ p.name {
     font-family: monospace;
 }
 
+kbd, p code, ol code {
+    background-color: #eaedf587;
+    padding-left: 3px;
+    padding-right: 3px;
+    border-radius: 3px;
+    border-style: solid;
+    border-width: 1px;
+    border-color: #b7bac1;
+    font-family: monospace;
+    margin-left: 5px;
+    margin-right: 5px;
+}
+
 #navigation {
     float: left;
     background-color: white;
@@ -191,6 +204,58 @@ table th, table td {
     padding: 2px;
 }
 
+.widget_list td {
+    padding-top: 10px;
+    padding-bottom: 10px;
+}
+
+.widget_list tr td:first-child {
+    padding-left: 5px;
+}
+
+.widget_list tr td:last-child {
+    padding-right: 10px;
+}
+
+.widget_list {
+    border-collapse: unset;
+    overflow: hidden;
+    border-style: solid;
+    border-width: 0.5px;
+    border-top-left-radius: 7px;
+    border-top-right-radius: 7px;
+}
+
+.widget_list th {
+    background-color: #2c3e67;
+    font-weight: bold;
+    color: white;
+    padding-top: 10px;
+    padding-bottom: 10px;
+}
+
+.widget_list th:first-child {
+    border-top-left-radius: 7px;
+    border-bottom-width: 1px;
+    padding-left: 20px;
+    padding-right: 20px;
+}
+
+.widget_list th:last-child {
+    border-top-right-radius: 7px;
+    border-width: 0px;
+    border-bottom-width: 1px;
+    padding-left: 20px;
+    padding-right: 20px;
+}
+
+.widget_list td {
+    border-style: solid;
+    border-width: 0px;
+    border-right-width: 1px;;
+    border-bottom-width: 1px;
+}
+
 #about {
     padding: 15px;
     padding-left: 16em;