body {
	max-width: 640px; /* 80 characters * 8 pixels per character (approximate) */
	margin: 0 auto; /* Center the content horizontally */
    font-family: 'Playfair Display', 'Georgia', 'Times New Roman', serif;
    --font-size: 20px;
    --line-height: 30px;
    font-weight: 400;
    color: #000;
}

h1 {
    --font-size: 20px;
    font-weight: 900;
    line-height: 30px;
    color: #000;
}

 @import url('https://fonts.googleapis.com/css2?family=Playfair+Display:wght@400;500;900&family=Roboto:ital,wght@1,300&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Playfair+Display:wght@500&display=swap');

@font-face {
    font-family: "ProFont";
    src: url("/fonts/ProFontWindows.ttf") format("truetype");
    font-weight: normal;
    font-style: normal;
}

.tiny {
    font-family: "ProFont", monospace;
    font-size: 12px;
    font-smooth: never;
    white-space: nowrap;
}


@font-face {
    font-family: "CP437";
    src: url("/fonts/Perfect DOS VGA 437 Win.ttf") format("truetype");
    font-weight: normal;
    font-style: normal;
}

.dos {
    font-family: "CP437", monospace;
    font-size: 12px;
    font-smooth: never;
    white-space: nowrap;
}

table {
  border-collapse: collapse; /* Combines borders for a clean look */
  border: 1px solid #ddd;  /* Sets a thin, gray border around the table */
}

th, td {
  border: 1px solid #ddd;  /* Sets thin, gray borders between cells */
  padding: 8px;           /* Adds padding for better readability */
}

/* Optional: Styling for table headers (th elements) */
th {
  background-color: #f2f2f2;  /* Light gray background for headers */
  text-align: left;          /* Aligns text to the left in headers */
}


/* --------------- */

.highlight {
    background-color: #eeee00;
}

.highlight-blue {
    background-color: #deebff;
}

.highlight-green {
    background-color: #90EE90;
}

/*  inpsiration:  https://www.rexswain.com/normal.css   */
.code, pre, tt, code {
    font-family: monospace;
    font-size: 9px;
}