Add user list to nav

diff --git a/js/90-nav.js b/js/90-nav.js
index 3a59943aff45eef67b5742f45dc6f3ce9ca520f8..92a9d4355de767670611d4139fdf6af01444aadb 100644 (file)
--- a/js/90-nav.js
+++ b/js/90-nav.js
@@ -4,9 +4,10 @@
        var NAVS = {
                'home': /^\/$/,
                'pb': /^\/pb\//,
-               'ct': /^\/ct\//,
+               'ct': /^\/(?:ct|st)\//,
                'log': /^\/log\//,
-               'account': /^\/account$/
+               'us': /^\/us\//,
+               'account': /^\/account$/,
        };
 
        $( document ).ready(function(){

diff --git a/tmpl/skel.en b/tmpl/skel.en
index 72df525d79223383bee24c682b5591a210eea979..1e20c87e0269c819007b7d52d41282455a4e9cdb 100644 (file)
--- a/tmpl/skel.en
+++ b/tmpl/skel.en
@@ -14,6 +14,7 @@
 <li id="nav-pb"><a href="/pb/">Problems</a>
 <li id="nav-ct"><a href="/ct/">Contests</a>
 <li id="nav-log"><a href="/log/">Job log</a>
+<li id="nav-us"><a href="/us/">Users</a>
 <li id="nav-account"><a href="/account">Account</a>
 <li id="theme-selector" class="hidden"><a class="dropdown-toggle" data-toggle="dropdown"> Theme <span class="caret"></span></a>
 <ul class="dropdown-menu" role="menu">