- web tweaks

svn path=/trunk/boinc/; revision=20037

doc/white.css

@@ -71,6 +71,12 @@ span.note{
 span.news_date {
     color: rgb(100,100,100);
     font-size: 0.9em;
+    float: right;
+}
+
+hr.news_line {
+    border: 0;
+    border-bottom: 1px solid rgb(200, 200, 200);
 }
 
 pre {

html/inc/news.inc

@@ -33,7 +33,7 @@ function news_item($date, $title, $post) {
     }
     echo "
         <span class=news_content>$text</span>
-        <br><span class=news_date>$d
+        <span class=news_date>$d
     ";
     if ($forum_link) {
         echo "
@@ -41,6 +41,8 @@ function news_item($date, $title, $post) {
         ";
     }
     echo "</span>
+        <br clear=all>
+        <hr size=0 class=news_line>
     ";
 }
 
@@ -89,7 +91,7 @@ function show_news($start, $count) {
     ";
     printf(tra("News is available as an %sRSS feed%s"),
         "<a href=rss_main.php>",
-        "</a> &nbsp; <img src=\"img/rss_icon.gif\" alt=\"RSS\"></p>"
+        " &nbsp; <img src=\"img/rss_icon.gif\" alt=\"RSS\"></a>"
     );
 }
 

html/inc/result.inc

@@ -123,18 +123,14 @@ function state_string($result) {
         case 2: return "Couldn't send";
         case 3:
             if ($result->exit_status == -221) {
-                return "Redundant result";
+                return "Cancelled by server";
             }
             switch($result->client_state) {
             case 1: return "Error while downloading";
             case 2: return "Error while computing";
             case 3: return "Error while computing";
             case 4: return "Error while uploading";
-            case 6:
-                if ($result->exit_status == -221) {
-                    return "Cancelled by server";
-                }
-                return "Aborted by user";
+            case 6: return "Aborted by user";
             }
             return "Error";
         case 4: return "Timed out - no response";

html/user/white.css

@@ -15,6 +15,11 @@ hr {
 	border-top: 2px solid #e8e8e8;
 }
 
+hr.news_line {
+    border: 0;
+    border-bottom: 1px solid rgb(200, 200, 200);
+}
+
 table.bordered {
 	border-color: #e8e8e8;
 }
@@ -148,7 +153,9 @@ blockquote.postbody {
 }
 
 span.news_date {
-	color: #646464;
+    color: rgb(100,100,100);
+    font-size: 0.9em;
+    float: right;
 }
 
 span.highlight {