Opera Mini: search isn't functioning

[makise-homura]

There were some reports that search is malfunctioning in Opera Mini.

[aoi-miko]

So, the main problem was in javascript in Opera Mini: Opera proxy has very limited javascript support, but search bar (and board list, and options bar) needs js to at least open its contents.

So, migrated most crucial functionality like "click to open" from eventlisteners to old inline onclick=