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