…o away. This note is only displayed if the deployment type is detected as 'development', which is the default. A real server can serve the index.html with the deployment type changed if they don't want the message displayed.
Also refactored toolbar CSS a bit and changed styles in HTML so they are a bit more semantically accurate, which allows us to simplify the CSS further.
As mentioned in #75, they are now as follows: * **disabled** - don't even show the button; just make it invisible. * **enabled** - show the button's text and icon in gray. * **hovering** - show the button's text and icon in blue.
This is a potential resolution for #73.
…use the URL changes every time that happens
This should fix #70.
…hat there's a hair's width space between it and the previous/next line number