diff options
Diffstat (limited to 'web/input/resources')
-rw-r--r-- | web/input/resources/plugins.css | 4 |
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 { | |||
155 | color: #3283c7; /* Overwrite Fancy Index CSS. */ | 155 | color: #3283c7; /* Overwrite Fancy Index CSS. */ |
156 | } | 156 | } |
157 | 157 | ||
158 | img.travis { | ||
159 | vertical-align: sub; | ||
160 | } | ||
161 | |||
158 | /* | 162 | /* |
159 | * On narrow displays, replace the menu bar with a simple list of items, and | 163 | * On narrow displays, replace the menu bar with a simple list of items, and |
160 | * omit the GitHub ribbon. | 164 | * omit the GitHub ribbon. |