//dropdown.js

//for the series nav
function dropdown(value) {
   num = value;
   document.location.href = num;
}

//for the repo browse
function changeBrowse(repos) {
   num = repos;
   if (num == 'default') {
      document.location.href = 'browse';
   } else {
      document.location.href = 'browse?repository=' + num;
   }
}