html.dart : added the `<code>` tag