visually distinguish the special 'all' tag

static/paper_list.js

@@ -65,8 +65,9 @@ const PaperList = props => {
 const Tag = props => {
     const t = props.tag;
     const turl = "/?rank=tags&tags=" + t.name;
+    const tag_class = 'rel_utag' + (t.name === 'all' ? ' rel_utag_all' : '');
     return (
-        <div class='rel_utag'>
+        <div class={tag_class}>
             <a href={turl}>
                 {t.n} {t.name}
             </a>

static/style.css

@@ -99,6 +99,9 @@ body {
     border-radius: 4px;
     cursor: pointer;
 }
+.rel_utag_all { /* distinguishes the special 'all' tag from others */
+    background-color: #909;
+}
 .rel_utag_add { /* adds a paper to a tag */
     background-color: #55f;
     margin-right: 2px;