Labels Milestones
BackV_margin*2 - title_font_size; working_increment = working_height / 6; // generally-useful spacing amount for vertical columns of stuff col_left = h_margin; col_right = width_mm.
New Pull RequestV_margin*2 - title_font_size; working_increment = working_height / 6; // generally-useful spacing amount for vertical columns of stuff col_left = h_margin; col_right = width_mm.
New Pull Request