diff options
| -rw-r--r-- | web/input/resources/plugins.css | 29 |
1 files changed, 19 insertions, 10 deletions
diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css index 872283e..b5df882 100644 --- a/web/input/resources/plugins.css +++ b/web/input/resources/plugins.css | |||
| @@ -102,21 +102,13 @@ div#content { | |||
| 102 | padding: 0.2em 1em 1em; | 102 | padding: 0.2em 1em 1em; |
| 103 | } | 103 | } |
| 104 | 104 | ||
| 105 | table /* Nginx Fancy Index. */ { | 105 | div#content a { |
| 106 | font-family: "Source Code Pro", monospace; | ||
| 107 | font-size: small; | ||
| 108 | } | ||
| 109 | |||
| 110 | div#content a, | ||
| 111 | table a { | ||
| 112 | color: #3283c7; | 106 | color: #3283c7; |
| 113 | text-decoration: none; | 107 | text-decoration: none; |
| 114 | border-bottom: 1px dotted #3283c7; | 108 | border-bottom: 1px dotted #3283c7; |
| 115 | } | 109 | } |
| 116 | 110 | ||
| 117 | div#content a:hover, | 111 | div#content a:hover { |
| 118 | table a:hover { | ||
| 119 | color: #3283c7; /* Overwrite Fancy Index CSS. */ | ||
| 120 | border-bottom: 1px solid #3283c7; | 112 | border-bottom: 1px solid #3283c7; |
| 121 | } | 113 | } |
| 122 | 114 | ||
| @@ -147,6 +139,23 @@ p#news-footer { | |||
| 147 | } | 139 | } |
| 148 | 140 | ||
| 149 | /* | 141 | /* |
| 142 | * Nginx Fancy Index. | ||
| 143 | */ | ||
| 144 | table { | ||
| 145 | font-family: "Source Code Pro", monospace; | ||
| 146 | font-size: small; | ||
| 147 | } | ||
| 148 | |||
| 149 | table a { | ||
| 150 | color: #3283c7; | ||
| 151 | text-decoration: none; | ||
| 152 | } | ||
| 153 | |||
| 154 | table a:hover { | ||
| 155 | color: #3283c7; /* Overwrite Fancy Index CSS. */ | ||
| 156 | } | ||
| 157 | |||
| 158 | /* | ||
| 150 | * On narrow displays, replace the menu bar with a simple list of items, and | 159 | * On narrow displays, replace the menu bar with a simple list of items, and |
| 151 | * omit the GitHub ribbon. | 160 | * omit the GitHub ribbon. |
| 152 | */ | 161 | */ |
