#devInfo {
    font-size: 12px;
    position: fixed;
    top: 0px;
    left: 0px;
    border-radius: 5px;
    background-color: #78BBE6;
    padding: 10px 10px 10px 10px;
    margin: 20px 10px 10px 10px;
    color: #fff;
    max-width: 300px;
    max-height: 400px;
    overflow-y: scroll;
    overflow-x: scroll;
}