ok here we go, the beginning of user profiles. for now we assume there is a single hard-coded user root

static/paper_list.js

@@ -80,5 +80,11 @@ const TagList = props => {
     )
 }
 
-ReactDOM.render(<PaperList papers={papers} />, document.getElementById('wrap'))
-ReactDOM.render(<TagList tags={tags} />, document.getElementById('tagwrap'))
+// render papers into #wrap
+ReactDOM.render(<PaperList papers={papers} />, document.getElementById('wrap'));
+
+// render tags into #tagwrap, if it exists
+let tagwrap_elt = document.getElementById('tagwrap');
+if (tagwrap_elt) {
+    ReactDOM.render(<TagList tags={tags} />, tagwrap_elt);
+}

static/style.css

@@ -175,3 +175,9 @@ body {
     display: inline-block;
     margin-left: 5px;
 }
+#login-link {
+    /* position on the right of the header */
+    position: absolute;
+    right: 10px;
+    top: 10px;
+}