body{
    user-select: none;
    cursor: default;
    padding-top: 6px;
    padding-left: 10px;
    padding-right: 10px;
    margin: 0;
    background-color: rgb(242, 242, 242);
}

h1 {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 13px;
}

div, p, li{
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11px;
}

ol{
    padding-left: 20px;;
}

li{
    padding-left: 7px;
}

p{
    margin-top: 8px;
}
