* {
    box-sizing: border-box;
}

body {
    line-height: 1.3;
    padding: 0 24px 32px 64px;
    margin: 0;
    background-color: #fdfdfd;
    font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New', monospace;
}

h1, h2, h3, h4, h5, h6 {
    font-weight: normal;
    margin-top: 1.2em;
    margin-bottom: 0.1em;
    color: #555;
}

@media screen and (max-width: 700px) {
    body {
        padding: 12px;
        margin-left: 12px;
        max-width: 90%;
        padding-bottom: 32px;
        font-size: 16px;
    }

    h1, h2, h3, h4, h5, h6 {
        margin-top: 1em;
    }
}


h1.title {
    font-size: 2em;
    color: black;
}

h1 {
    font-size: 1em;
    padding-bottom: 0;
}

h2 {
    font-size: 1.1em;
}

h3 {
    font-size: 1em;
}

p {
    margin-bottom: 1em;
    margin-top: 0;
    max-width: 600px;
}

a {
    color: #007bff;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

a:visited {
    color: #551a8b;
}

pre {
    overflow-x: auto;
}

code {
    font-family: inherit;
}

pre code {
    line-height: 1.5;
    background-color: transparent;
    padding: 0;
    border-radius: 0;
    font-size: 14px;
}

ul, ol {
    margin-bottom: 1em;
    padding-left: 2em;
}

li {
    margin-bottom: 0.25em;
}

blockquote {
    margin-left: 0.5em;
    padding-left: 0.5em;
}

table {
    width: 100%;
    border-collapse: collapse;
    margin-bottom: 1em;
}

th, td {
    border: 1px solid #ccc;
    padding: 8px;
    text-align: left;
}

th {
    background-color: #f0f0f0;
    font-weight: normal;
}


strong {
    font-weight: bold;
}

dd {
    margin: 0.2em 0;
    padding: 0;
}

dt {
    margin-top: 24px;
    margin-bottom: 8px;
}


/* Basic styling for the container of the JSON */
[data-lang="json"] {
    display: block; /* Ensures <pre>-like block behavior */
}

/* Syntax highlighting styles */
.json-key {
    color: #2a5ba5;
    font-weight: 600;
    font-weight: lighter;
}

.json-string {
    color: #008000; /* Green */
}

.json-number {
    color: #0000ff; /* Blue */
}

.json-keyword {
    color: #b200b2; /* Purple/Magenta */
}

.json-punctuation {
    color: #555555; /* Dark Grey */
}