atcoder new contest pager

display new contest page at page top

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey, Greasemonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Userscripts.

Voor het installeren van scripts heb je een extensie nodig, zoals {tampermonkey_link:Tampermonkey}.

Voor het installeren van scripts heb je een gebruikersscriptbeheerder nodig.

(Ik heb al een user script manager, laat me het downloaden!)

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

(Ik heb al een beheerder - laat me doorgaan met de installatie!)

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