police du texte à rechercher

Retourner au contenu associé (dépêche : JavaSearch : moteur de recherche dans la Javadoc)

# police du texte à rechercher

Posté par Gniarf le 11 août 2004 à 04:03. En réponse à la dépêche JavaSearch : moteur de recherche dans la Javadoc. Évalué à 3.

dans la textbox, là, ça risque d'être illisible pour pas mal de monde.

j'ai essayé margin par exemple, ça apparait très tassé.

(configuration : Firefox/win32)