html, body {
  height:100%;
  width: 100%;
}
.principal {
  margin-top: 0;
  margin-left: 0;
  margin-right: 0;
  margin-bottom: 0;
  width: 100%;
  height: 100%;
}
.margen {
  margin-top: 0;
  margin-left: 0;
  margin-right: 0;
  margin-bottom: 0;
  width: 25%;
  height: 100%;
}
.workspace {
  width: 75%;
  height: 100%;
}


/**{
  border:solid 2px darkred;
}*/