hr
margin-top 25px
margin-bottom 25px
border 0
border-top 1px solid #eee
ul.nodots
list-style-type none
margin 0
padding-left 0
.lead
margin-top 3em
pre
font-size 0.8rem