:root {
  color-scheme: light dark;
}

a {
  padding: 3px;  
}

a:link {
  color: light-dark(#CC0000, #FF2828);
  text-decoration: none;
}

a:visited {
  color: light-dark(#CC0000, #FF2828);
  text-decoration: none;
}

@supports (color-scheme: dark light) {
  @media screen and (prefers-color-scheme: dark) {
    a:link {color: #FF2828;}
    a:visited {color: #FF2828;}
  }
  @media screen and (prefers-color-scheme: light) {
    a:link {color: #CC0000;}
    a:visited {color: #CC0000;}
  }
}

a:hover {
  background: #FFDFDF;
  color: #F00000;
  text-decoration: underline;
}

a:active {
  color: #FF1111;
  text-decoration: underline;
}

th, td {
  border: 1px solid #888888;
  padding: 10px;
  padding-left:20px;
  padding-right:20px;
}

td:not(.content) {
    text-align: center;
}

td.left {
    text-align: left;
}

td.right {
    text-align: right;
}

th {
  border-bottom: 2px solid light-dark(black, white);
}

table {
  border: 2px solid light-dark(black, white);
  border-collapse: collapse;
  margin-bottom: 4px;
}

tr:not(.content):nth-child(even) {
  background-color:  light-dark(#f2f2f2, #080808);
}

table.content, tr.content, td.content {
  width: 1200px;
  border: 0px;
}

hr {
  width: 1200px;
  color: black;
}

p {
  text-align: justify;
  line-height: 125%;
}

ul {
  line-height: 125%;  
}

img {
    border: 2px solid #000000;
    max-width: 1200px;
    min-width: 1000px;
}

img.logo {
    border: 0px solid #FFFFFF;
    min-width: 200px;
    width: 200px;
}

span.logo {
  text-align: left;
  width: 295px;
  display: inline-block;
}

span.title {  
  text-align: right;
  width: 600px;
  display: inline-block;
}

div.header {
  width: 1200px;
}

.smaller {
  font-size: smaller;
}

iframe[seamless] {
  border: none;
}

iframe.compute {
  height: 350px;
}

iframe.serverlist {
  height: 1000px;
}

code {
  color: light-dark(#990000, #FF2222);
  background: light-dark(#FFF8F8, #000000);
  font-size: larger;
}

.center {
  text-align: center;
}

html {
  font-family: sans-serif;
  color: light-dark(#000000, #FFFFFF)
  background-color:(#FFFFFF, #000000)
}