a {
    padding: 3px;  
  }
  
  a:link {
    color: #CC0000;
    text-decoration: none;
  }
  
  a:visited {
    color: #CC0000;
    text-decoration: none;
  }
  
  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 black;  
  }
  
  table {
    border: 2px solid black;
    border-collapse: collapse;
    margin-bottom: 4px;
  }

  iframe {
    border: 1px solid lightgray;
    border-collapse: separate;
  }
  
  tr:not(.content):nth-child(even) {
    background-color: #f2f2f2;
  }
  
  table.content, tr.content, td.content {
    width: 1000px;
    border: 0px;
    text-align: left;
    padding-left: 20px;
    padding-right:20px;
    padding-top: 0px;
    padding-bottom:0px;
  }
  
  hr.content {
    width: 1000px;
    color: black;
  }
  
  div.subcontent {
    margin-left: 20px;
    overflow-x: scroll;
    width: inherit;
  }

  input {
    border: 1px solid black;
    border-collapse: collapse;
  }

  p {
    text-align: justify;
    line-height: 125%;
  }
  
  ul {
    line-height: 125%;  
  }
  
  img {
      border: 1px solid darkgrey;
      padding: 4px;
      max-width: 600px;
      min-width: 400px;
  }
  
  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: 1000px;
  }
  
  .smaller {
    font-size: smaller;
  }
  
  iframe[seamless] {
    border: none;
  }
  
  iframe.compute {
    height: 350px;
  }
  
  iframe.serverlist {
    height: 800px;
  }
  
  code {
    color: #990000;
    background: #FFF8F8;
    font-size: larger;
  }
  
  .center {
    text-align: center;
  }
  
  html {
    font-family: sans-serif;
  }