.github-corner:hover .octo-arm {
    animation: octocat-wave 560ms ease-in-out;
}

@keyframes octocat-wave {
    0% {
        transform: rotate(0deg);
    }

    20% {
        transform: rotate(-25deg);
    }

    40% {
        transform: rotate(10deg);
    }

    60% {
        transform: rotate(-25deg);
    }

    80% {
        transform: rotate(10deg);
    }

    100% {
        transform: rotate(0deg);
    }
}

/* Styles for GitHub corner SVG previously inlined in HTML */
.github-corner {
    position: absolute;
    top: 0;
    left: 0;
    width: 80px;
    height: 80px;
    display: block;
}

.github-svg {
    fill: #151513; /* dark fill for background */
    color: #fff; /* for paths using currentColor */
    position: absolute;
    top: 0;
    left: 0;
    transform: scale(-1, 1); /* mirror to top-left corner */
    border: 0;
}

.github-svg .octo-arm {
    transform-origin: 130px 106px;
}
/* If using an image for the corner, add a hover pulse/rotate */
/* .version-link/.version-image removed: image not used */

@media (max-width: 500px) {
    .github-corner:hover .octo-arm {
        animation: none;
    }

    .github-corner .octo-arm {
        animation: octocat-wave 560ms ease-in-out;
    }
}