.source-footer .prettyPrint.pretty {
  stroke: var(--theme-highlight-blue);
}

.source-footer {
  border-top: 1px solid var(--theme-splitter-color);
  left: 0;
  opacity: 1;
  width: 100%;
}

.source-footer .prettyPrint.pretty {
  stroke: var(--theme-highlight-blue);
}

Fix 438: Adds bottom bar for pretty-print button
Fix 438: Adds bottom bar for pretty-print button
