#finite-big-ramsey-example {
    display: flex;
    justify-content: space-around;
}

#milliken-implies-big-ramsey-example {
    display: flex;
    justify-content: space-around;
}

h2,h3,h4 {
    text-align: center;
}

.explanation {
    position:absolute;
    width:33%;
    left:0;
    font-size:0.9em;
    padding-top:85px;
    padding-left: 83px;
    padding-bottom:114px;
    padding-left:150px
}

.proof-dt {
    left:520px;
}

.cqfd {
    border: 2px solid black;
    width: 20px;
    height: 20px;
    bottom: 0;
    right:0;
}

.bold {
    font-weight: bold;
}



.block, .theorem, .definition {
    margin-top: 38px;
    margin-bottom: 43px;
}

* + li {
    margin-top:18px;
}