purescript_web_ext/extension/panel.css

#tabs {
  margin-top: 1px;
}

.tab {
  border: solid grey 1px;
  margin-bottom: 1px;
}

.tab {
  padding-left: 2px;
}