/* Float window (js/float.js). Empty for now: the existing styles still live in index.html. */