div.all { height: 1300px; }
div.res {
  border: thin inset black;
  width: 70%;
  color: navy;
  padding: 1em;
  margin: 1em;
        }