atcoder new contest pager

display new contest page at page top

  1. // ==UserScript==
  2. // @name atcoder new contest pager
  3. // @description display new contest page at page top
  4. // @include https://*.contest.atcoder.jp/*
  5. // @version 1
  6. // @namespace https://twitter.com/root_T2
  7. // @grant none
  8. // ==/UserScript==
  9. var host = location.host;
  10. if ( host.match(".contest.atcoder.jp")) {
  11. var contest_name = host.split(".contest.atcoder.jp")[0];
  12. var new_url = "https://atcoder.jp/contests/" + contest_name;
  13. var a = document.createElement('a');
  14. a.textContent = '新しいコンテストページ';
  15. a.setAttribute('href', new_url);
  16. a.setAttribute('style', "font-size: 30pt;");
  17. var div = document.createElement("div");
  18. div.setAttribute("style", "text-align:center;margin-bottom:15px;margin-top:20px;");
  19. div.appendChild(a);
  20. var header = document.getElementsByClassName('navbar navbar-fixed-top')[0];
  21. header.parentNode.insertBefore(div, header.nextSibling);
  22. }