/*!* dashboard page navigation styles *!*/
/*!* NOTE: these were copy-pasted from the styles generated from JIRA's layout.less file @ f7efef01d *!*/
#dashboard > .tabs.vertical {
  border-right: 1px solid #dddddd;
  padding: 10px;
  padding-bottom: 20px;
  width: 200px;
}