Add a way to pause the background animation #220

I currently set href to "" because I don't currently know how to interface with session variables directly through html tags. "Basic View" and "Standard View" have different lengths, so the footer shifts when the button is pressed. The paused background state is different from the paused state when the user once again switches to the tab after a period of time, where the triangles are all orange and regular. The session variable can also be renamed and used elsewhere to perhaps make the page less reactive, for example in displaying search results, to reduce lag.
No. The code in `pixi.js` is just there if `window.requestAnimationFrame` is not defined in the browser. It is a polyfill. Just for backwards compatibility. Changing that code will not help you much in most browsers where it will never be run.

What is wrong with your current approach where you remember timestamp when pause was pressed and then subtract that?