The forums ran from 2008-2020 and are now closed and viewable here as an archive.
Home › Forums › CSS › Fixed header problem in Opera (only) › Re: Fixed header problem in Opera (only)
Then I can only assume that 12 didn’t fix it.