.user-manual span {
    padding: 3px 5px;
    background-color: #efefef;
}