2 box-sizing: border-box;
10 a:link, a:visited, a:active { text-decoration: none; }
11 a:hover { text-decoration: underline; }
15 font-family: sans-serif;
32 background-color: #f7f7f7;
33 border: 1px solid #dbdbdb;
43 margin: 10px 10px 10px 0;
61 border: 1px solid #C1DAD7;
64 text-transform: uppercase;
67 background: #CAE8EA url(bg_header.jpg) no-repeat;
69 vertical-align: center;
74 border-right: 1px solid #C1DAD7;
80 vertical-align: center;
88 .downloads td.doesnotexist {
92 .downloads td.unsupported {
96 .downloads td.supported {
100 .downloads td.nobinary {
114 @media screen and (max-width: 600px) {
127 @media (prefers-color-scheme: dark) {
129 background-color: #202124;
133 title, h1, h2, h3, h4, h5, h6 {