Ah, ya sé por qué es. Es porque Opera se ciñe más o menos a los estándares según el DOCTYPE utilizado. Nosotros ahora mismo usamos XHTML Transitional (con lo que está en el modo "Casi Estándar"), pero si se fuerza el modo estándar parece funcionar bien.
El cambio de DOCTYPE es algo que teníamos pendiente para dentro de no mucho, pero antes hay que revisar el resto de páginas y navegadores porque también provoca cambios en IE.
Porque no sólo Opera utiliza el DOCTYPE para interpretar de una forma u otra según qué elementos. IE y Firefox también lo hacen. Es decir, que arreglaríamos la búsqueda en Opera pero romperíamos todo lo demás (concretamente la portada y el foro) en el resto de navegadores. Además teniendo en cuenta que en Opera el fallo no es ni grave ni algo que impida su funcionamiento, lo más prudente es no tocarlo.
De todas formas, insisto, está en camino el cambio de DOCTYPE por otros motivos no relacionados, así que será algo que eventualmente se arreglará