diff options
Diffstat (limited to 'web')
-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 | */ |