espruino-web-ide/css/reset.css

A Terminal and Graphical code Editor for Espruino JavaScript Microcontrollers

/* 
    ===================================================
    Reset
    ===================================================
 */

/** {
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}*/

*, *:before, *:after {
    -moz-box-sizing: border-box; 
    -webkit-box-sizing: border-box; 
    box-sizing: border-box;
}