div {
  padding-left: 1.5rem; /* font-size + padding so indented lines line up 
                          right under the text that follows the arrow above it*/
}



.layout {
  max-width: 770px;
   /* margin: 0 auto 200px auto; */
  margin: 0 auto;
}

.spaced {
  margin: 1rem 1.5rem 0 0;
  padding: 0.5rem;
  border: 1px solid rgb(72, 72, 72);
  border-radius: 1rem;
  background-color: rgba(20, 60, 70, 0.3);
}

.titles {
  background-color: rgb(95, 95, 95);
  font-size: 1.5rem;
}

.numbers {
  background-color: rgb(100, 100, 100);
  font-size: 1.25rem;
}

.threads {
  background-color: rgb(105, 105, 105);
  font-size: 1rem;
}

.posts {  
  background-color: rgb(115, 115, 115);
  /* overflow: hidden; */
}

.posts p {
  background-color: rgb(110, 110, 110);
  padding: .75rem 1.25rem  .75rem 1.25rem;
  color: white;
  font-family: courier, monospace;
}

.borderless {
    margin: 1.5rem auto;
    height: auto;
    background-color: rgb(105, 105, 105);	
}

.h4-title {
	text-align: center;
}

.h4-toc {
	text-align: left;
	padding-top: 6px;
	padding-bottom: 0;
	padding-left: 0
}

table {font-size: 0.85rem; padding: 0 6px 24px 24px;}

th {padding-right: 12px; text-align: left;}
td {padding-right: 12px; text-align: left;}

a:link {
  color: rgb(235, 235, 235);
}

a:visited {
  color: hotpink;
}