optionally show last update time in feedlist (EXTENDED_FEEDLIST) (closes #55)

2006-06-06 07:51:00 +01:00
parent cea51014f7
commit 78d5212c0a
7 changed files with 33 additions and 1 deletions
@@ -1112,3 +1112,10 @@ form {
 #main_toolbar_form {
 	display : inline;
 }
+
+div.feedExtInfo {
+	margin-left : 2em;
+	font-size : 7pt;
+	color : gray;
+	font-weight : normal;
+}