body {
    padding-top: 0px !important;
    /*max-width: 100%;*/
    /*overflow-x: hidden;*/
}

/************************************************************************************************************************/
/* Navbar
/************************************************************************************************************************/
.navbar {
    height: 25px;
    width: 100%;
    border-style: solid;
    border-width: 1px;
    border-color: #ccc;
    margin-top: 5px;
}

.nav-link {
    color: #bc0000 !important;
    font-weight: bold !important;
    font-size: 80% !important;
}

/************************************************************************************************************************/
/* Main content
/************************************************************************************************************************/

#main {
    color: #555;
}

#emulator_logo {
    width: 80%;
    padding: 20px 0px;
}

#examples li:hover {
    background-color: #fee;
    cursor: pointer; /* Mouse pointer on hover */
}

h2 {
    padding-top: 30px;
    padding-bottom: 5px;
}

#pdf {
    min-height: 1000px;
    min-width: 100%;
    padding-bottom: 50px;
}