body {
    margin: 20px 30px 20px 30px;
    padding: 0px;
    background-color: white;
}

div.header {
    padding: 10px;
    text-align: center;
    background-color: #C0C0C0;
    font-size: 150%;
    font-weight: bold;
}

div.box {
    padding: 20px 10px 10px 10px;
    background-color: #E0E0E0;
}

pre {
    padding: 10px;
    width: 720px;
    border: 1px dashed black;
    background-color: #C0C0C0;
    overflow: auto;
}

div.footer {
    padding: 2px;
    text-align: center;
    background-color: #C0C0C0;
    font-size: 66%;
    font-family: sans-serif;
}

#shadow-container .shadow2,
#shadow-container .shadow3,
#shadow-container .container {
    position: relative;
    left: -1px;
    top: -1px;
}

#shadow-container .shadow1 {
    background: #F1F0F1;
}

#shadow-container .shadow2 {
    background: #DBDADB;
}

#shadow-container .shadow3 {
    background: #B8B6B8;
}

#shadow-container .container {
    background: #ffffff;
    border: 1px solid #848284;
}