input#url_input {   margin-bottom:15px; } div#domain-to-ip-result {   margin-top:15px;   border-left:4px solid #0eb111;   background:#e2ffe8;   padding:10px; }