body {
    font-family: Arial, sans-serif;
    line-height: 1.6;
    margin: 0;
    padding: 0;
    background-color: #f4f4f4;
}

header {
    background-color: #333;
    color: white;
    padding: 20px 0;
    text-align: center;
}

.container {
    padding: 20px;
}

h1, h2 {
    color: #333;
}

.definition {
    background-color: #fff;
    border-radius: 5px;
    padding: 10px;
    margin: 10px 0;
    box-shadow: 0 4px 8px rgba(0, 0, 0, 0.1);
}

.example {
    background-color: #e8f5e9;
    border-radius: 5px;
    padding: 10px;
    margin: 10px 0;
    box-shadow: 0 4px 8px rgba(0, 0, 0, 0.1);
}

.example pre {
    margin: 0;
    font-size: 14px;
    background-color: #fafafa;
    padding: 10px;
    border-radius: 5px;
    border: 1px solid #ddd;
}

footer {
    text-align: center;
    padding: 10px 0;
    background-color: #333;
    color: white;
    position: fixed;
    width: 100%;
    bottom: 0;
}

.animation-box {
    width: 100px;
    height: 100px;
    background-color: #ff5733;
    animation: moveBox 3s infinite;
    margin: 20px auto;
}

@keyframes moveBox {
    0% { transform: translateX(0); }
    50% { transform: translateX(200px); }
    100% { transform: translateX(0); }
}