.digg_pagination {
  background: white;
  cursor: default;
  /* self-clearing method: */ }
  .digg_pagination a, .digg_pagination span, .digg_pagination em {
    padding: 0.2em 0.5em;
    display: block;
    float: left;
    margin-right: 1px; }
  .digg_pagination .disabled {
    color: var(--color-foreground-muted);
    border: 1px solid #dddddd; }
  .digg_pagination .current {
    font-style: normal;
    font-weight: bold;
    background: var(--color-primary);
    color: var(--color-primary-foreground);
    border: 1px solid var(--color-primary); }
  .digg_pagination a {
    text-decoration: none;
    color: var(--color-primary);
    border: 1px solid #9aafe5; }
    .digg_pagination a:hover, .digg_pagination a:focus {
      color: var(--color-primary-hover);
      border-color: var(--color-primary-hover); }
  .digg_pagination .page_info {
    background: var(--color-primary);
    color: var(--color-primary-foreground);
    padding: 0.4em 0.6em;
    width: 22em;
    margin-bottom: 0.3em;
    text-align: center; }
    .digg_pagination .page_info b {
      color: var(--color-primary-hover);
      /* 10% primary over white — a transparent 10% would vanish on the primary bar */
      background: color-mix(in srgb, var(--color-primary) 10%, white);
      padding: 0.1em 0.25em; }
  .digg_pagination:after {
    content: ".";
    display: block;
    height: 0;
    clear: both;
    visibility: hidden; }
  * html .digg_pagination {
    height: 1%; }
  *:first-child + html .digg_pagination {
    overflow: hidden; }