Work around component info font size bug in Gradio 5

app.py

@@ -95,15 +95,16 @@ demo = gr.Interface(
     fn=predict,
     inputs=[
         gr.Dropdown(choices=MODELS, value=BAYES, label="Model",
-                    info="Learn more about the models [here](https://huggingface.co/collections/tbitai/bayes-or-spam-6700033fa145e298ec849249)"),
+                    # FIXME: Font size should be smaller by default. Remove workaround when fixed in Gradio: https://github.com/gradio-app/gradio/issues/9642
+                    info="<small>Learn more about the models [here](https://huggingface.co/collections/tbitai/bayes-or-spam-6700033fa145e298ec849249)</small>"),
         gr.TextArea(label="Email"),
     ],
     additional_inputs_accordion=gr.Accordion("Additional configuration for Bayes", open=False),
     additional_inputs=[
-        gr.Checkbox(label="Unbias", info="Correct Graham's bias?"),
+        gr.Checkbox(label="Unbias", info="<small>Correct Graham's bias?</small>"),
         gr.Slider(minimum=1, maximum=DEFAULT_INTR_THRESHOLD + 5, step=1, value=DEFAULT_INTR_THRESHOLD, 
                   label="Interestingness threshold", 
-                  info=f"How many of the most interesting words to select in the probability calculation? ({DEFAULT_INTR_THRESHOLD} for Graham)"),
+                  info=f"<small>How many of the most interesting words to select in the probability calculation? ({DEFAULT_INTR_THRESHOLD} for Graham)</small>"),
     ],
     outputs=[gr.Number(label="Spam probability")],
     title="Bayes or Spam?",