<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/*
 * DO NOT EDIT THIS FILE.
 * Find the correct source file and do your changes there.
 * @preserve
 */

/**
 * @file
 * Visual styles for tabs.
 */

div.tabs { margin: 1em 0; }

ul.tabs {
  margin: 0 0 0.5em;
  padding: 0;
  list-style: none;
}

.tabs &gt; li {
    display: inline-block;
    margin-right: 0.3em;
  }

.tabs a {
    display: block;
    padding: 0.2em 1em;
    text-decoration: none;
  }

.tabs a.is-active { background-color: #eee; }

.tabs a:focus,
    .tabs a:hover {
      background-color: #f5f5f5;
    }
/*# sourceMappingURL=tabs.css.map */</pre></body></html>