]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_chat.html.src
ocaml 3.09 transition
[helm.git] / helm / searchEngine / html / moogle_chat.html.src
index 1e610b74407612185a0945c2d18ecc4afa932f0d..bda0482d189ca3f47daea223ea4f69aaee9ea2b6 100644 (file)
@@ -10,7 +10,7 @@
   <body>
     <helm:include href="moogle_form.html.src" />
     <helm:include href="moogle_querybar.html.src" />
-    <div>
+    <div style="font-size: larger;">
       <p>
        <b>Ambiguous input:</b> <kbd>@EXPRESSION@</kbd>
       </p>