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