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. |
