.shellcmd {
   background-color: #E8E8E8;
   padding-right: 6px;
   padding-left: 6px;
   cursor-type: text;
   color: black;
}