En muchas ocasiones se ha preguntado acerca de como insertar un buscador en una página. Este es más o menos similar, pero quiero hacer énfasis en como es diferente para que no me den las soluciones que a los demás.
Tengo una larga lista de definiciones en una página .html, me gustaría al principio de esta agregar una caja de texto que funcione como buscador dentro de esa misma página. Por lo mismo, no me funcionan otras soluciones como "Poner el buscador de Google" ni nada similar...
Mi solución actual es decirle al usuario que presione Ctrl+F, pero supongo que no funciona igual en todos los navegadores, y si pudiera facilitarle al usuario con una caja al principio que haga esa misma solución, estaría muy contento (y mis usuarios posiblemente también)
