/* Set default panel size */

#panel {
  height: 2.2em;
  font-size: 15px;
}

.panel-button,
.panel-button .clock {
  border-radius: 12px;
  border: 3px solid transparent !important;
}

.panel-button { -natural-hpadding: 10px !important; } 
.panel-status-indicators-box:first-child { padding-left: 0; }
.panel-status-indicators-box:last-child { padding-right: 0; }
.panel-status-indicators-box:first-child:last-child { padding: 0; }