ページのプログレスバーを表示する

二、三時間うーんうーん言ってみたけど良いタイトルが思いつかないので，とりあえず「ページのプログレスバー」と，やつを呼ぶことにする．

こんなやつ．

これをCSSだけで実現したいと思う．

https://jsfiddle.net/ctp4j3zc/2

before擬似要素によって直線を表現し，after要素によってマルポチを表現している． classなしが白抜きの丸，activeが二重丸，disabledが黒丸となっている．