.dev-navigation {
    margin: 1.25rem 1rem;
    background-color: #ececec;
}
.dev-navigation .menu a {
    color: #0A0A0A;
    letter-spacing: normal;
}
.dev-navigation .vertical.menu li:hover {
    background-color: #ececec;
}
.dev-navigation .vertical.menu li a:hover {
    background-color: #cfcfd1;
}
.developers .page_title {
    margin-right: 10px;
    margin-bottom: 1rem;
}
.developers a.section-anchor {
    display: block;
    position: relative;
    top: -3.3rem;
    visibility: hidden;
}
.developers .resource-info {
    padding-bottom: 1.25rem;
}
.developers .resource-info ul ul {
    list-style-type: circle;
}
.developers .resource-info > ul > li {
    margin-bottom: 0.7rem;
}

@media screen and (max-width: 950px) {
    .developers .page_title {
        font-size: 22px;
    }
    .developers .resource-info h5 {
        font-size: 1.1rem;
    }
}

@media screen and (max-width: 40em) {
    .developers .page_title {
        margin-right: 0;
    }
    .developers .resource-info {
        margin-right: 0;
    }
}