From a8fa42675eadc1be18eed7e7b2ee34dd70a887fa Mon Sep 17 00:00:00 2001 From: Holger Weiss Date: Sun, 16 Feb 2014 21:29:47 +0100 Subject: development.md: Replace inline HTML Replace HTML code with Markdown syntax. --- web/input/resources/plugins.css | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'web/input/resources') 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. -- cgit v1.2.3-74-g34f1