/* Add some margin to the page and set a default font and colour */
@font-face {
    font-family: "THSarabunNew", Taviraj;
    unicode-range: U+0E00–U+0E7F;
}

body {  
    //background: #4488AA;  
    background-repeat: no-repeat; center center;
    background-attachment: fixed;
    background-color: #1CE3A0;
    border: none;

    padding: 0;
    margin: 0;

    font-family: "THSarabunNew", Lucida Grande, Helvetica, Arial, Verdana, sans-serif;
    text-align: center;
    font-size: 14px;
}

#hanoi-example {     
    border: #4488AA solid 6px;
    margin: 0 auto;
}

@font-face {
    font-family: 'BitBold';
    src: url('../resources/fonts/BitBold.ttf') format('truetype');
}

#github {
    margin: 5px;
    float: left;
}