.info[data-v-0ede73a1]{color:#009ef7;background-color:#f1faff;border-color:#f1faff;width:100px}.info[data-v-0ede73a1]:hover{color:#fff;background-color:#009ef7;border-color:#009ef7}.redText[data-v-0ede73a1]{color:green}.bgColor4OpCode[data-v-0ede73a1]{background-color:#87ceeb}
