.panel-title {
  background: #F8F8F8;
  border-top: 1px solid #E5E5E5;
  border-bottom: 1px solid #E5E5E5;
  margin-top: -1px;
  padding: 2px 10px;
}
.panel-title .task-list-name {
  font-weight: bold;
}
