- * glk_request_timer_events(N), with N not 0, you will get timer events about
- * every N milliseconds thereafter. (Assuming that they are supported -- if
- * not, glk_request_timer_events() has no effect.) Unlike keyboard and mouse
- * events, timer events will continue until you shut them off. You do not have
- * to re-request them every time you get one. Call glk_request_timer_events(0)
- * to stop getting timer events.
+ * <code>glk_request_timer_events(<emphasis>N</emphasis>)</code>, with
+ * <emphasis>N</emphasis> not 0, you will get timer events about every
+ * <emphasis>N</emphasis> milliseconds thereafter. (Assuming that they are
+ * supported — if not, glk_request_timer_events() has no effect.) Unlike
+ * keyboard and mouse events, timer events will continue until you shut them
+ * off. You do not have to re-request them every time you get one. Call
+ * <code>glk_request_timer_events(0)</code> to stop getting timer events.