.browsehappy{
    margin:.2em 0;
    background:#ccc;
    color:#000;
    padding:.2em 0
}
body{
    padding-top:40px;
    padding-bottom:20px
}
.footer,.header,.marketing{
    padding-left:15px;
    padding-right:15px
}
.header{
    border-bottom:1px solid #e5e5e5
}
.header h3{
    margin-top:0;
    margin-bottom:0;
    line-height:40px;
    padding-bottom:19px
}
.footer{
    padding-top:19px;
    color:#777;
    border-top:1px solid #e5e5e5
}
.container-narrow>hr{
    margin:30px 0
}
.jumbotron{
    text-align:center;
    border-bottom:1px solid #e5e5e5
}
.jumbotron .btn{
    font-size:21px;
    padding:14px 24px
}
.marketing{
    margin:40px 0
}
.marketing p+h4{
    margin-top:28px
}
@media screen and (min-width:768px){
    .container{
        max-width:1000px
    }
    .footer,.header,.marketing{
        padding-left:0;
        padding-right:0
    }
    .header{
        margin-bottom:30px
    }
    .jumbotron{
        border-bottom:0
    }
}
.log{
    background-color:#fff;
    background-image:none;
    border:1px solid #ccc;
    border-radius:4px;
    color:#555;
    padding:2px 2px;
    height:300px;
    overflow-y:scroll;
    border-radius:4px;
    box-shadow:inset 0 1px 1px rgba(0,0,0,.075);
    -webkit-transition:border-color ease-in-out .15s,box-shadow ease-in-out .15s;
    transition:border-color ease-in-out .15s,box-shadow ease-in-out .15s
}
.log p{
    word-wrap:break-word;
    margin:0;
    padding:3px 4px
}
.log p:hover{
    background-color:#f5f5f5;
    cursor:pointer;
    cursor:hand
}
.pselected{
    background-color:#d4f8ff
}