theme: Fix coding style of the rounded tables.

diff --git a/html/html/themes/ipfire/include/css/style-rounded.css b/html/html/themes/ipfire/include/css/style-rounded.css
index f60f4f6c38d866cdfa19be284dd12dc2cf043b96..886d61f0f540e35cca7dfd486277851f0d8f9828 100644 (file)
--- a/html/html/themes/ipfire/include/css/style-rounded.css
+++ b/html/html/themes/ipfire/include/css/style-rounded.css
@@ -27,12 +27,7 @@
 /* Table */
 /* when using class='bordered' after tabletag */
 
 /* Table */
 /* when using class='bordered' after tabletag */
 

-table {
-       *border-collapse: collapse; /* IE7 and lower */
-       border-spacing: 0;
-}
-
-.tbl th:first-child{
+.tbl th:first-child {

        -moz-border-radius: 6px 0 0 0;
        -webkit-border-radius: 6px 0 0 0;
        border-radius: 6px 0 0 0;
        -moz-border-radius: 6px 0 0 0;
        -webkit-border-radius: 6px 0 0 0;
        border-radius: 6px 0 0 0;


@@ -44,25 +39,25 @@ table {
        border-radius: 0 6px 0 0;
 }
 
        border-radius: 0 6px 0 0;
 }
 

-.tbl th:only-child{
+.tbl th:only-child {

        -moz-border-radius: 6px 6px 0 0;
        -webkit-border-radius: 6px 6px 0 0;
        border-radius: 6px 6px 0 0;
 }
 
        -moz-border-radius: 6px 6px 0 0;
        -webkit-border-radius: 6px 6px 0 0;
        border-radius: 6px 6px 0 0;
 }
 

-.tbl tr:first-child td:first-child{
+.tbl tr:first-child td:first-child {

        -moz-border-radius: 6px 0 0 0;
        -webkit-border-radius: 6px 0 0 0;
        border-radius: 6px 0 0 0;
 }
 
        -moz-border-radius: 6px 0 0 0;
        -webkit-border-radius: 6px 0 0 0;
        border-radius: 6px 0 0 0;
 }
 

-.tbl tr:first-child td:last-child{
+.tbl tr:first-child td:last-child {

        -moz-border-radius: 0 6px 0 0;
        -webkit-border-radius: 0 6px 0 0;
        border-radius: 0 6px 0 0;
 }
 
        -moz-border-radius: 0 6px 0 0;
        -webkit-border-radius: 0 6px 0 0;
        border-radius: 0 6px 0 0;
 }
 

-.tbl tr:first-child td:only-child{
+.tbl tr:first-child td:only-child {

        -moz-border-radius: 6px 6px 0 0;
        -webkit-border-radius: 6px 6px 0 0;
        border-radius: 6px 6px 0 0;
        -moz-border-radius: 6px 6px 0 0;
        -webkit-border-radius: 6px 6px 0 0;
        border-radius: 6px 6px 0 0;