diff.css

/* @import url('https://fonts.googleapis.com/css2?family=Comic+Neue:wght@400;700&display=swap');
*/

  html, body {
    f/ont: normal 14px/1.4 sans-serif;
    background: #f1f1f1;
  }
  
  h4 {
    f/ont-family: 'Comic Neue', cursive;
    f/ont-weight: 700;
    f/ont-size: 26px;
  }
  
  p {
    margin: 0 0 1rem;
    f/ont-family: 'Comic Neue', cursive;
    f/ont-weight: 400;
    f/ont-size: 20px;
  }
  
  p.bold {
    f/ont-weight: 700;
  }
  
  .blockquote {
      background: rgb(188 188 188 / 30%);
      border-left: 3px solid black;
      padding: 0 15px;
  }
  
  table {
    border-collapse: collapse;
    width: 100%;
  }
  
  /*
  .card {
    background: #fff;
    border: 1px solid #ccc;
    border-radius: 3px;
    margin: 1rem;
    padding: 1rem;
  }
  
  .card .card {
    margin: 0;
    f/lex: 1 0 0; 
    border: thin solid lightgrey;
    background: wheat;
  }
  */
  
  .row {
    display: flex;
    flex-direction: row;
    justify-content: space-between;
  flex-wrap: nowrap;
  align-items: stretch;
  width: 100%;
  }
  
  .col {
    display: flex;
    flex: 1 /* 0 0 */;
    flex-direction: column;
    flex-basis: auto;
    margin-right: 8px;
    padding: 0.5em;
    border: thin solid lightgrey;
    border-radius: 5px;
  }
  
  .current-document ins {
    background: lightgreen;
    text-decoration: none;
  }
  
  .current-document del {
    background: pink;
  }
  
  .system-generated del {
    visibility: hidden;
  }
  
  .system-generated ins {
    text-decoration: none;
  }
  
  .system-generated ins ~ del {
    display: none;
  }