.timestamp {
    background-color: #f5f5f5;
    padding: 0.2em 0.5em;
    border-radius: 3px;
    box-shadow: 2px 2px 4px rgba(0, 0, 0, 0.1);
    font-size: 0.9em;
    color: #666;
}

#table-of-contents {
    font-size: 80%;
    white-space: nowrap;
    overflow-x: auto;
}

#table-of-contents ul {
    padding-left: 1em
}

@media (width<55rem) {
    body {
        padding: 2rem;
    }
}

@media (width>=55rem) {
    body {
	max-width: 55rem;
        margin-left: auto;
        margin-right: auto;
	padding: 2rem;
    }
    #table-of-contents {
	width: calc(50% - 2;2rem);
	position: fixed;
	top: 0;
	bottom: 0;
	right: 1rem;
	overflow-y: auto;
    }
    #table-of-contents>h2 {
        font-size: 1.563em
    }
}