/**
 * altro.css  
 * Stili aggiunti a valle di bootstrap e di AdminLTE  
 *
 */





/**
 * Extra large button extensions. Extends `.btn`.
 */
.btn-xlarge {
    padding: 18px 28px;
    font-size: 22px;
    line-height: normal;
    -webkit-border-radius: 8px;
       -moz-border-radius: 8px;
            border-radius: 8px;
    }
    
/**
 * Extra thin button extensions. Extends `.btn`.
 */
.btn-thin {
  padding: 1px 1px;
  font-size: 8px;
  line-height: 0.8;
  border-radius: 3px;
}    


/**
 * Maschera di login più grande 
 */
.login-box, .register-box {
    width: 400px;
    margin: 7% auto;
}

.CodeMirror-dialog-top button{
	background-color: red;
}