[gtk-doc/gtk-doc-for-gtk4: 1/2] css: Treat informal tables like tables

[Matthias Clasen <matthiasc src gnome org>]

commit 23cf552bb4918b8f1d9bb23f703473a4775530c0
Author: Matthias Clasen <mclasen redhat com>
Date:   Sat May 23 21:30:21 2020 -0400

    css: Treat informal tables like tables
    
    gtk-doc uses informaltable elements for formatting
    the function listings in reference pages, while
    pandoc-generated docbook uses informaltable elements
    for regular tables. Thankfully, they end up with
    different border attributes in the html, so we can
    use that to style them differently.

 style/style.css | 22 +++-------------------
 1 file changed, 3 insertions(+), 19 deletions(-)
---
diff --git a/style/style.css b/style/style.css
index 2efd5a9..cf4fb80 100644
--- a/style/style.css
+++ b/style/style.css
@@ -61,18 +61,6 @@ a:hover
   color: #729fcf;
 }
 
-div.informaltable table
-{
-  border-collapse: separate;
-  border-spacing: 1em 0.3em;
-  border: none;
-}
-
-div.informaltable table td, div.informaltable table th
-{
-  vertical-align: top;
-}
-
 .function_type,
 .variable_type,
 .property_type,
@@ -127,6 +115,7 @@ td p
   margin: 0.25em;
 }
 
+div.informaltable table[border="1"],
 div.table table
 {
   border-collapse: collapse;
@@ -135,6 +124,7 @@ div.table table
   border: solid 1px #babdb6;
 }
 
+div.informaltable table[border="1"] td, div.informaltable table th,
 div.table table td, div.table table th
 {
   /* tango:aluminium 3 */
@@ -143,13 +133,7 @@ div.table table td, div.table table th
   vertical-align: top;
 }
 
-div.table table tr.subhead
-{
-  /* tango:aluminium 2 */
-  background-color: #d3d7cf;
-  font-weight: bold;
-}
-
+div.informaltable table[border="1"] th,
 div.table table th
 {
   /* tango:aluminium 2 */