diff options
Diffstat (limited to 'style/style.css')
| -rw-r--r-- | style/style.css | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/style/style.css b/style/style.css index 6f0bc25..e62807a 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 */ |