/* same CSS as before, omitted for brevity */