The search functionality needs JavaScript enabled
WindowSize getFramebufferSize();
size of framebuffer