/** * @file * Theme styling for tabs. */ nav.tabs { margin-bottom: 1rem; }