Miki wears the stockings throughout the whole scene, just as god intended. The editing job will be hard, what with those transparent bubbles and all. Still hoping against hope that it gets an English translation someday.
For those confused about the title thinking it should be Red-light,GREEN-light,Yellow-light: "Ao (hiragana あお; kanji 青; adjective form aoi (青い?)) is a Japanese color word that includes what English-speakers would call blue and green. For example, in Japan, green traffic lights are described as ao shingō (青信号?)." -wikipedia