.enable-profiling {
    font-family: "Times New Roman";
    font-size: 20pt;
    line-height: 17pt;
}
.measure {
    background-color: #c44;
    color: white;
    padding: 7px;
    border-radius: 5px;
    animation: debug-pulse 1s infinite;
}
.profiling-form {
    display: none;
}
@keyframes debug-pulse {
    0% {
        opacity: 1;
    }
    50% {
        opacity: 0.5;
    }
    100% {
        opacity: 1;
    }
}

#footer .dev {
    float: right;
}
.enable-profiling {
    font-family: "Times New Roman";
    font-size: 20pt;
    line-height: 17pt;
}
.measure {
    background-color: #c44;
    color: white;
    padding: 7px;
    border-radius: 5px;
    animation: debug-pulse 1s infinite;
}
.profiling-form {
    display: none;
}
@keyframes debug-pulse {
    0% {
        opacity: 1;
    }
    50% {
        opacity: 0.5;
    }
    100% {
        opacity: 1;
    }
}

Move pi button to the right
Move pi button to the right
