development.md: Replace inline HTML

Replace HTML code with Markdown syntax.

1 files changed, 4 insertions, 0 deletions

diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css
index 9b1e76e..c33d8c8 100644
--- a/web/input/resources/plugins.css
+++ b/web/input/resources/plugins.css
@@ -155,6 +155,10 @@ table a:hover {
     color: #3283c7; /* Overwrite Fancy Index CSS. */
 }
 
+img.travis {
+    vertical-align: sub;
+}
+
 /*
  * On narrow displays, replace the menu bar with a simple list of items, and
  * omit the GitHub ribbon.