.border-t-2 { border-top-width: 2px; }
.border-b-2 { border-bottom-width: 2px; }
.border-r-0 { border-right-width: 0px; }
.border-l-0 { border-left-width: 0px; }
.border-solid { border-style: solid; }
.border-gray-400 { border-color: rgba(156, 163, 175, 1); }
.pt-2 { padding-top: 0.5rem; }
.pb-2 { padding-bottom: 0.5rem; }
.pr-4 { padding-right: 1rem; }
.pl-4 { padding-left: 1rem; }
.mt-8 { margin-top: 2rem; }
.mb-4 { margin-bottom: 1rem; }
.bg-gray-100 { background-color: rgba(243, 244, 246, 1); }
.text-sm { font-size: 0.875rem; line-height: 1.25rem; }

.postindex article {
    padding-bottom: 1em;
    margin-bottom: 2em;
}

p.graphviz { text-align: center; }

ul ul {
    margin-bottom: 1rem;
}

div.figure {
    margin: 1em auto;
    width: 100%;
}

blockquote {
    margin-left: 2em;
    padding-left: 1em;
    border-left: 3px solid #66e;
}
blockquote p {
    font-size: 1.1rem;
}

h2,
h3 {
    margin-top: 1em;
}

table {
    border: 1px solid #e1e4e5;
    margin-bottom:24px;
}

tr:nth-child(2n-1) td {
    background-color: #f3f6f6;
}

th,
td {
    margin: 0;
    text-align: left;
    vertical-align: bottom;
    overflow: visible;
    padding: 8px 16px;
}