.cloudcmd-user-menu{border:0;font-family:Droid Sans Mono,Ubuntu Mono,Consolas,monospace;font-size:16px}.cloudcmd-user-menu:focus{outline:0}.cloudcmd-user-menu>option:checked{box-shadow:20px -20px 0 2px var(--selected-menu-item-color) inset}.cloudcmd-user-menu-button{-webkit-appearance:none;border:0;display:block;font-size:16px;overflow:auto;padding:2px;width:100%}