Example of a background starfield generated with an HTML5
canvas element. We have not quite worked out all of the details yet. For example, it is important that the canvas is the last element on the page or it will cover up other things, even though it is set to
display: none whenever the background is changed.