@keyframes flash{0%{opacity:.9}50%{opacity:.5}to{opacity:.9}}@keyframes flash_hue{0%{filter:none}to{filter:hue-rotate(90deg)}}@-webkit-keyframes flash_hue{0%{-webkit-filter:none}to{-webkit-filter:hue-rotate(90deg)}}@-moz-keyframes flash_hue{0%{filter:none}to{filter:hue-rotate(90deg)}}@keyframes lambda-scale{0%{font-size:var(--lambda-size)}to{font-size:calc(var(--lambda-size)*2)}}@keyframes rotate-around{to{transform:rotate(1turn)}}@keyframes button-blink{50%{color:#fff;background-color:var(--lambda-pink);text-shadow:none}}