/* External CSS used by CSS Program 1. */
.external {
    color: #155e75;
    background-color: #cffafe;
    border: 2px solid #0891b2;
    padding: 10px;
}