make feedlist use smaller font

diff --git a/backend.php b/backend.php
index d931ae9a968c4f68663e2e779b9102b568859608..3d304655ab329569f1818ad4b1d6dde9bfe7af17 100644 (file)
--- a/backend.php
+++ b/backend.php
@@ -464,6 +464,10 @@
                                        pg_query("DELETE FROM ttrss_entries WHERE feed_id = '$id'");
                                        pg_query("DELETE FROM ttrss_feeds WHERE id = '$id'");
                                        pg_query("COMMIT");
+                                       
+                                       if (file_exists(ICONS_DIR . "/$id.ico")) {
+                                               unlink(ICONS_DIR . "/$id.ico");
+                                       }
                                }
                        }
                }

diff --git a/tt-rss.css b/tt-rss.css
index 74f328925c2744ce82d077f61d63a0b9e9c4d08e..8c16790eb626296559f67653fa222d406cc4cd0d 100644 (file)
--- a/tt-rss.css
+++ b/tt-rss.css
@@ -46,6 +46,10 @@ td.headlineToolbar {
        padding-top : 10px;
 }
 
+table.feeds {
+       font-size : small;
+}
+
 table.feeds td.footer {
        font-weight : bold;
        border-width : 1px 0px 0px 0px;
@@ -257,6 +261,7 @@ table.prefFeedList tr.title td {
 }
 
 a.disabledButton {
+       font-family : tahoma, sans-serif;
        border : 1px solid #d0d0d0;
        background-color : white;
        color : #909090;        
@@ -271,6 +276,7 @@ a.disabledButton:hover {
 }
 
 a.button {
+       font-family : tahoma, sans-serif;
        border : 1px solid #d0d0d0;
        background-image : url("images/button.png");
        background-position : top;
@@ -288,6 +294,7 @@ a.button:hover {
 }
 
 a.buttonWarn {
+       font-family : tahoma, sans-serif;
        border : 1px solid #d0d0d0;
        background-image : url("images/button.png");
        background-position : top;