divpush.css

header {
  width: 758px;
  height: 25px;
  background-color: black;
  margin-left: 10px;
}

button {
  display: inline-block;
  margin-top: 5px;
  margin-bottom: 3px;
}
#sSort, #push {
  margin-left: 5px;
}
p {
  font-family: sans-serif;
  font-size: 1.5em;
  margin: 20px;
}

div { 
  border: 2px solid black;
  margin: 2px;
  display: inline-block;
  font-size: 1px;
}

#factory {
width: 750px;
min-height: 750px;
border: 4px solid black;
margin-left: 10px;
}

.red {
  background-color: red; }
.orange {
  background-color: orange; }
.yellow {
  background-color: yellow; }
.green {
  background-color: green; }
.blue {
  background-color: blue; }
.indigo {
  background-color: indigo; }
.violet {
  background-color: violet; }
.white {
  background-color: white; }
.gray {
  background-color: gray; }
.black {
  background-color: black; }


.size0 {
  height: 8px; width: 8px; }
.size1 {
  height: 10px; width: 10px; }
.size2 {
  height: 12px; width: 12px; }
.size3 {
  height: 14px; width: 14px; }
.size4 {
  height: 16px; width: 16px; }
.size5 {
  height: 18px; width: 18px; }
.size6 {
  height: 20px; width: 20px; }
.size7 {
  height: 22px; width: 22px; }
.size8 {
  height: 24px; width: 24px; }
.size9 {
  height: 26px; width: 26px; }