.small-caps {
    font-variant: all-small-caps;
}
.pull-double {
    margin-left: -0.5335693359375em;
}
.push-double {
    margin-right: 0.5335693359375em;
}
.pull-single {
    margin-left: -0.294921875em;
}
.push-single {
    margin-right: 0.294921875em;
}
.pull-C, .pull-O, .pull-c, .pull-o {
    margin-left: -0.062219238281250006em;
}
.push-C, .push-O, .push-c, .push-o {
    margin-right: 0.062219238281250006em;
}