@import 'main-style';

// IEEE-specific rules
$ieee-wedge: 30px;