.post-title{font-size:1.9rem;margin:0 0 20px}

.framed {
    padding: 20px;
    border-radius: 10px;
    border: 1px solid #dcdcdc;
    border: 1px solid var(--border-color);
    max-width: 800px;
}

body.dark-theme {
  /* dark theme colors */
  --background: #292a2d;
  --background-secondary: #3b3d42;
  --header: #252627;
  --color: antiquewhite; /* #d9e3eb; */
  --color-secondary: #73747b;
  --border-color: #4a4b50;
}

.token.punctuation {
        color: antiquewhite; /* #d9e3eb; */
}