/* $Id: programming-tlabuffer.css 1673 2016-11-15 00:31:09Z charpov $ */

#prodcons {
  width: 100%;
  max-width: 500px;
}

#buffer1, #buffer2, #buffer3, #buffer4 {
  max-width: 100%;
}

#trace {
  width: 100%;
  height: 30ex;
  overflow: scroll;
}