i.loading:before {
    font-family: "Font Awesome 5 Free";
    content: "\f1ce";
    font-style: normal;
    animation: fa-spin 1s infinite linear;
    height: 1.5em;
    width: 1.2em;
    display: block;
    text-align: center;
}

a.uri-dereferencer-toggle,
a.uri-dereferencer-fetch {
    width: 1.5em;
    text-align: center;
    display: inline-flex;
    justify-content: space-between;
}

a.uri-dereferencer-toggle:before,
a.uri-dereferencer-fetch:before {
    content: "[";
}

a.uri-dereferencer-toggle:after,
a.uri-dereferencer-fetch:after {
    content: "]";
}

.uri-dereferencer-markup {
  width: 100%;
}