/*source code copied from https://deepmind-pushworld.github.io/play/*/

html {
    margin: 0;
    padding: 0;
    font-size: 16px;
    width: 100%;
    overflow-x: hidden;
  }
  
  body {
    margin: 0;
    padding: 0;
    width: 100%;
    overflow-x: hidden;
  
    font-family: sans-serif;
    letter-spacing: .25px;
    font-weight:  500;
    font-size: 1rem;
    background-color: #fff;
    /*color: #123693;*/
    font-family: sans-serif;
  
    -webkit-text-size-adjust: none;
  }
  
  #header, #footer {
    background-color: #0053d6;
    margin: 0;
    padding: 1.25rem;
    color: #fff;
  }
  
  #content {
    padding: 0 1rem;
  }
  
  #header .content {
    margin: 2em auto;
    text-align: center;
    max-width: 650px;
  }
  
  #header .title {
    font-size: 48px;
    line-height: 1.3;
    font-family: Charter, Georgia, serif;
    color: #fff;
  }
  
  #header .subtitle {
    font-size: 26px;
    line-height: 1.3;
    font-family: Charter, Georgia, serif;
    color: #fff;
    margin: 0 auto;
    padding: 0 0.5rem;
    max-width: 31rem;
  }
  
  #header .banner {
    width: 100%;
    height: auto;
    margin-top: 2.2rem;
  }
  
  .main-links {
    margin: 0.625em auto;
    max-width: 520px;
  }
  
  .main-links a {
    font-weight: bold;
    text-transform: uppercase;
    text-decoration: none !important;
    margin: 5px 10px 5px 0px;
    font-size: 14px;
    cursor: pointer;
  }
  
  .section {
    max-width: 650px;
    margin: 2em auto;
    padding: 0;
  }
  
  /* When the screen is narrow, less vertical space is needed. */
  @media (max-width: 500px) {
    #header .content {
      margin: 1em auto;
    }
    .section.first-section {
      margin: 1.5em auto;
    }
    .main-links {
      margin: 0.425em auto;
      max-width: 376px;
    }
    .main-links a {
      margin: 5px 0px;
      padding: 6px 5px;
      font-size: 13px;
    }
    .main-links .btn .icon {
      font-size: 15px;
      width: 13px;
    }
    .main-links .btn .icon-text {
      margin-right: 3px;
    }
  }
  
  .section .title {
    color: #123693;
    font-size: 27px;
    text-align: left;
    line-height: 1.3;
  }
  
  .section .text {
    display: block;
    margin: 1em 0;
  }
  
  .section li {
    margin: 1em 0;
  }
  
  ul {
    padding-inline-start: 2rem;
  }
  
  .section b {
    color: #383838;
  }
  
  .related-table {
    width: 100%;
    margin-top: 1.5rem;
    font-size: 16px;
    table-layout: fixed;
    border-collapse: collapse;
  }
  
  .related-table td {
    padding: 0px;
    word-wrap: break-word;
    overflow: visible;
    white-space: normal;
    line-height: 1.2em;
    padding: 0.2em 0em;
    border-bottom: 1px solid #ddd;
    text-align: center;
  }
  
  .related-table .top-row td {
    border-bottom: 1px solid #555;
    text-align: center;
  }
  
  .related-table .name-row td {
    border-bottom: none;
    text-align: center;
    font-weight: bold;
    padding: 0px;
  }
  
  .related-table td:first-child {
    text-align: left;
  }
  
  .results-table {
    max-width: 500px;
    margin-left: auto;
    margin-right: auto;
  }
  
  .results-table td:first-child {
    padding-right: 3px;
  }
  
  .related-table .left-border {
    border-left: 1px solid #555;
  }
  
  .related-table .yes {
    font-size: 16px;
    font-weight: bold;
    color: rgb(50, 125, 30);
    text-align: center;
  }
  
  .related-table .no {
    font-size: 15px;
    font-weight: bold;
    color: rgb(185, 50, 30);
    text-align: center;
  }
  
  
  .classical-results-large, .classical-results-medium, .classical-results-small {
    width: 100%;
    margin: 1.5rem auto;
  }
  
  @media (min-width: 610px) {
    .classical-results-large {
      display: block;
    }
    .classical-results-medium {
      display: none;
    }
    .classical-results-small {
      display: none;
    }
  }
  
  @media (min-width: 530px) and (max-width: 620px) {
    .classical-results-large {
      display: none;
    }
    .classical-results-medium {
      display: block;
      max-width: 550px;
    }
    .classical-results-small {
      display: none;
    }
  }
  
  @media (max-width: 530px) {
    .classical-results-large {
      display: none;
    }
    .classical-results-medium {
      display: none;
    }
    .classical-results-small {
      display: block;
      max-width: 401px;
    }
  }