1/* emcscript-related styling, used during the module load/intialization processes... */
2.emscripten { padding-right: 0; margin-left: auto; margin-right: auto; display: block; }
3div.emscripten { text-align: center; }
4div.emscripten_border { border: 1px solid black; }
5#module-spinner { overflow: visible; }
6#module-spinner > * {
7    margin-top: 1em;
8}
9.spinner {
10    height: 50px;
11    width: 50px;
12    margin: 0px auto;
13    animation: rotation 0.8s linear infinite;
14    border-left: 10px solid rgb(0,150,240);
15    border-right: 10px solid rgb(0,150,240);
16    border-bottom: 10px solid rgb(0,150,240);
17    border-top: 10px solid rgb(100,0,200);
18    border-radius: 100%;
19    background-color: rgb(200,100,250);
20}
21@keyframes rotation {
22    from {transform: rotate(0deg);}
23    to {transform: rotate(360deg);}
24}
25