| /website/style.css |
|---|
| 69,7 → 69,7 |
| border-radius: 0.25em; |
| margin: 0.75em 2.5em 0.75em 0.25em; |
| padding: 0.2em 0.75em; |
| min-width: 12em; |
| width: 12em; |
| } |
| div.download div h3 { |
| 81,6 → 81,8 |
| div.download div p { |
| margin: 0 0 0.5em 0; |
| line-height: 1.4em; |
| font-size: 0.9em; |
| } |
| a:link { /* unvisited link */ |