.vpaxos .brim .help-tooltip {
    border-bottom-color: blue;
    border-bottom-width: 1px;
    border-bottom-style: dotted;
    color: blue;
    cursor: help;
}

.vpaxos .brim .gist {
    margin-top: 1em;
    margin-bottom: 1em;
}

.vpaxos .brim h3 {
    text-align: center;
    font-size: 1.3em;
    font-weight: bold;
    margin-top: 0.5em;
}
.vpaxos .brim h2 {
    text-align: center;
    font-size: 1.5em;
    font-weight: bold;
}
.vpaxos .brim h4 {
    text-align: left;
    font-size: 1.2em;
    font-weight: bold;
    margin-top: 0.5em;
}
.vpaxos .brim h5 {
    text-align: left;
    font-size: 1.1em;
    font-weight: bold;
    margin-top: 0.5em;
}
.vpaxos #vpaxos1 {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
}

.vpaxos .num {
	color: #CA2A1F;
}

.vpaxos .b {
    font-weight: bold;
}

.vpaxos .brim {
    padding-left: 0.7em;
    padding-right: 0.7em;
}

.vpaxos .brim .link {
    background: yellow;
    color: black;
    text-decoration: none;
}


.vpaxos .brim .twitter-tweet {
    margin-top: 1em !important;
    margin-bottom: 1 !important;
    margin-left: auto;
    margin-right: auto;
}


#visualization {
    text-align: center;
}

#paxos-placeholder {
    display: inline-block;
}

#visualization .data-area {
    max-width: 350px !important;
    min-width: 350px !important;
    width: 350px !important;
}


.vpaxos .brim p {
    margin-top: 0.5em;
}
.vpaxos .brim .quote {
    margin-top: 0.5em;
    margin-left: 1em;
    border-left-width: 0.5em;
    border-left-style: solid;
    padding-left: 0.4em;
}
.vpaxos .brim .faq {
    margin-top: 0.5em;
    font-weight: bold;
}


.vpaxos .brim .edge {
    margin-top: 0 !important;
}


.tx-props {
    margin-top: 1em;
    margin-bottom: 1em;
}

.tx-props th {
    border: 1px solid;
    background-color: #BBBBBB;
    padding-left: 5px;
    padding-right: 5px;
    padding-top: 2px;
    padding-bottom: 2px;
    text-align: right;
}

.tx-props td {
    padding-left: 5px;
    padding-right: 5px;
    padding-top: 2px;
    padding-bottom: 2px;
}

.extra-step {
    background-color: rgba(96, 255, 0, 0.26);
}

.vpaxos .brim ul {
    margin-top: 0.5em;
    padding-left: 40px;
    list-style-type: square;
}

.vpaxos .brim ul ul {
    margin-top: 0;
}

.vpaxos .brim ul li {
    line-height: 1.3em;
    margin-top: 0.4em;
}

.vpaxos .brim li ul li {
    line-height: 1.3em;
    margin-top: 0.1em;
    list-style-type: disc;
}

.vpaxos .brim ol {
    margin-top: 0.5em;
    padding-left: 40px;
    list-style-type: decimal;
}


.vpaxos .alt {
    background-color: #EEFFEE;
    padding-top: 0.5em;
    padding-bottom: 0.5em;
}

.vpaxos it {
    font-style: italic;
}

.vpaxos .brim img {
    margin-top: 0.7em;
    margin-bottom: 0.7em;
    margin-left: auto;
    margin-right: auto;
    display: block;
}

.vpaxos .b {
    font-weight: bold;
}

.vpaxos b {
    font-weight: bold;
}