Merge publication lists.

2017-11-09 02:45:28 +00:00
parent 691ba57a04
commit 9516dd3db1
3 changed files with 5 additions and 10 deletions
@@ -196,7 +196,7 @@ body {
  };
 }

-#drafts, #conferences, #journals-and-surveys, #thesis {
+#drafts, #thesis, #refereed-publications {
  padding: $text-pad;
 }