extra/websites/factorcode/master.css

   1 html {
   2     box-sizing: border-box;
   3 }
   4
   5 *, *:before, *:after {
   6     box-sizing: inherit;
   7 }
   8
   9 a { color: #2A5DB0; }
  10 a:link, a:visited, a:active { text-decoration: none; }
  11 a:hover { text-decoration: underline; }
  12
  13 body {
  14     font-size: 12pt;
  15     font-family: sans-serif;
  16     text-align: center;
  17 }
  18
  19 .page {
  20     max-width: 800px;
  21     text-align: left;
  22     line-height: 150%;
  23     padding: 10px;
  24 }
  25
  26 img {
  27     max-width: 100%;
  28     height: auto;
  29 }
  30
  31 pre {
  32     background-color: #f7f7f7;
  33     border: 1px solid #dbdbdb;
  34     border-radius: 5px;
  35     margin-top: 10px;
  36     padding: 10px;
  37     font-size: smaller;
  38     width: 100%;
  39     overflow: auto;
  40 }
  41
  42 ul {
  43     margin: 10px 10px 10px 0;
  44     padding-left: 10px;
  45 }
  46
  47 li {
  48     margin-left: 10px;
  49     padding: 5px;
  50 }
  51
  52 .downloads {
  53     width: 520px;
  54     padding: 0;
  55     margin: 0;
  56     white-space: nowrap;
  57 }
  58
  59 .downloads th {
  60     color: #4f6b72;
  61     border: 1px solid #C1DAD7;
  62     border-left: none;
  63     letter-spacing: 2px;
  64     text-transform: uppercase;
  65     font-size: smaller;
  66     padding: 6px;
  67     background: #CAE8EA url(bg_header.jpg) no-repeat;
  68     text-align: center;
  69     vertical-align: center;
  70 }
  71
  72 .downloads th.nobg {
  73     border: 0;
  74     border-right: 1px solid #C1DAD7;
  75     background: none;
  76 }
  77
  78 .downloads td {
  79     text-align: center;
  80     vertical-align: center;
  81 }
  82
  83 .downloads td.alt {
  84     background: #F5FAFA;
  85     color: #797268;
  86 }
  87
  88 .downloads td.doesnotexist {
  89     background: #E5EAEA;
  90 }
  91
  92 .downloads td.unsupported {
  93     background: #ffaaaa;
  94 }
  95
  96 .downloads td.supported {
  97     background: #aaffaa;
  98 }
  99
 100 .downloads td.nobinary {
 101     background: #eeee88;
 102 }
 103
 104 .left {
 105     width: 50%;
 106     float: left;
 107 }
 108
 109 .right {
 110     width: 50%;
 111     float: right;
 112 }
 113
 114 @media screen and (max-width: 600px) {
 115     .left, .right {
 116         width: 100%;
 117         float: none;
 118     }
 119
 120     .downloads {
 121         width: 100%;
 122         max-width: 520px;
 123     }
 124 }
 125
 126 /* Dark mode */
 127 @media (prefers-color-scheme: dark) {
 128     body {
 129         background-color: #202124;
 130         color: #bdc1c6;
 131     }
 132
 133     title, h1, h2, h3, h4, h5, h6 {
 134         color: white;
 135     }
 136
 137     a {
 138         color: #8ab4f8;
 139     }
 140
 141     pre {
 142         color: black;
 143     }
 144
 145     .downloads a {
 146         color: #2A5DB0;
 147     }
 148 }