56478e96c9
Previously, directly editing the <link> tag with the new file would cause the page to have no stylesheet for a moment while the new file is downloaded. A new element is now appended below the original instead, which smoothens out the transition.