Re: search in documentation

[i...@agentur-m3.de]

I use firefox 33.0  with Ubuntu Trusty 14.4.
The page does not react on ENTER key.

I tried this:

http://www.quirksmode.org/js/keys.html

in anothter TAB and ENTER is detected.