/* Estilo do body */
body {
    font-family: Arial, sans-serif;
    background-color: #f2f2f2;
    color: #333;
    line-height: 1.6;
    margin: 20px;
}

/* Estilo do título principal */
h1 {
    text-align: center;
    color: #007BFF;
}

/* Estilo dos títulos secundários */
h2 {
    color: #007BFF;
}

/* Estilo dos botões */
button {
    background-color: #007BFF;
    color: #fff;
    padding: 10px 20px;
    border: none;
    border-radius: 5px;
    margin-right: 10px;
    cursor: pointer;
    font-size: 16px;
}

/* Estilo da caixa de input da fórmula */
#formulaInput {
    width: 100%;
    padding: 10px;
    font-size: 18px;
    border: 2px solid #007BFF;
    border-radius: 5px;
    margin-bottom: 10px;
}

/* Estilo do botão de calcular */
button[onclick="calcularTabelaVerdade()"] {
    background-color: #28A745;
}

/* Estilo da tabela verdade */
#tabelaVerdade {
    border-collapse: collapse;
    width: 100%;
    margin-bottom: 20px;
}

#tabelaVerdade th,
#tabelaVerdade td {
    border: 1px solid #ccc;
    padding: 10px;
    text-align: center;
}

#tabelaVerdade th {
    background-color: #007BFF;
    color: #fff;
}

/* Estilo da seção de resolução passo a passo */
#resolucaoPassoAPasso {
    font-style: italic;
    color: #666;
}

/* Estilo para a seção de instruções */
div:nth-child(2) {
    margin-bottom: 30px;
    border: 2px solid #007BFF;
    border-radius: 5px;
    padding: 15px;
    background-color: #fff;
}

/* Estilo para a seção de adicionar operações */
div:nth-child(3) {
    margin-bottom: 20px;
}

/* Estilo para a seção de fórmula */
div:nth-child(4) {
    margin-bottom: 20px;
}

/* Estilo para a seção da tabela verdade */
div:nth-child(6) {
    border: 2px solid #007BFF;
    border-radius: 5px;
    padding: 15px;
    background-color: #fff;
}

/* Estilo para a seção de resolução passo a passo */
div:nth-child(8) {
    border: 2px solid #007BFF;
    border-radius: 5px;
    padding: 15px;
    background-color: #fff;
}

/* Estilo para todos os botões */
button {
    transition: background-color 0.2s;
}

/* Efeito de hover nos botões */
button:hover {
    background-color: #0056b3;
}

/* Estilo responsivo para telas menores */
@media (max-width: 768px) {
    /* Reduzir o tamanho dos botões */
    button {
        padding: 8px 16px;
    }

    /* Ajustar margens e tamanhos das seções */
    div:nth-child(2),
    div:nth-child(3),
    div:nth-child(4),
    div:nth-child(6),
    div:nth-child(8) {
        margin: 10px 0;
        padding: 10px;
    }
}