[gtk-doc/gtk-doc-for-gtk4: 23/25] css: Treat informal tables like tables

[Matthias Clasen <matthiasc src gnome org>]

commit 6b9a39409e5635e973f5e6fe53c507b318f61a46
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 | 16 ++++------------
 1 file changed, 4 insertions(+), 12 deletions(-)
---
diff --git a/style/style.css b/style/style.css
index 6f0bc25a..e62807a6 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,8 @@ 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,6 +134,7 @@ div.table table td, div.table table th
   vertical-align: top;
 }
 
+div.informaltable table[border="1"] th,
 div.table table th
 {
   /* tango:aluminium 2 */