User:TheresNoTime/smallerDiscussiontools.css

.ext-discussiontools-init-section-bar { font-size: 10px !important; margin-top: 1px !important; }

.ext-discussiontools-init-section { padding-bottom: 0 !important; }