.section {
    margin-bottom: 30px !important;
}

.tip {
    color: #3a87ad; /* Basicstrap CSS was messed up so override it */
}

@media (min-width: 1200px) {
    .collapse .pull-right{
        margin-right: 115px !important;
    }
}

.literal {
    background: #f5f5f5;
    padding: 2px 3px 3px;
    border: 1px solid #ccc;
    color: #11729B;
    -webkit-border-radius: 3px;
    border-radius: 3px;
    margin: 0 3px;
}