/* fiches.css */

/* Global Styles */
body {
    font-family: 'Arial', sans-serif;
    margin: 0px;
    line-height: 1.6;
    background-color: #f9f9f9;
}

#corps{
	padding-bottom: 80px;
}

h1, h2, h3, h4, h5, h6 {
    font-weight: normal;
    color: #333;
    margin-bottom: 10px;
}



/* Definitions and Properties */
.def, .prop, .special {
    border: 1px solid #ddd;
    border-left-width: 5px;
    border-radius: 4px;
    padding: 10px;
    margin-bottom: 15px;
    margin-left: 10px;
    margin-right: 10px;
    background-color: #fff;
}

.def {
    border-left-color: #6c757d;
}

.prop {
    border-left-color: #007bff;
}

.special {
    border-left-color: rgb(0,200,150);
}

.def b, .prop b {
    font-weight: bold;
    color: #333;
}

/* Math Rendering */
.katex-display {
    margin: 15px 0;
}

.katex {
    font-size: 1.2em;
}

/* Code Blocks */
pre, code {
    background: #f1f1f1;
    padding: 10px;
    border-radius: 4px;
    overflow-x: auto;
}

pre {
    white-space: pre-wrap; /* For long lines to break */
}

/* Responsive Design */
@media (max-width: 768px) {
    body {
        margin: 10px;
    }

    #titre {
        font-size: 1.2em;
    }

    .def, .prop {
        padding: 8px;
    }

    .katex {
        font-size: 1em;
    }
}



#button{
	width: 100%;
	background-color: white;
	padding-bottom: 5px;
	padding-top: 5px;
	position: fixed;
	bottom: 0px;
	display: flex;
	justify-content: space-around;
}


#generer_png, #generer_pdf {
    background-color: #007bff;
    color: white; 
    border: none;
    padding: 10px 20px; 
    font-size: 1.2em; 
    border-radius: 4px; 
    cursor: pointer; 
    transition: background-color 0.3s ease;
    margin-top: 10px; 
    display: block; 
    margin-left: auto; 
    margin-right: auto; 
}

#generer_png {
    background-color: #007bff;
}

#generer_png:hover {
    background-color: #0056b3; 
}


#generer_pdf {
    background-color: rgb(200,50,50);
}


#generer_pdf:hover {
    background-color: rgb(150,50,50);
}



@media (max-width: 768px) {
    #generer_png, #generer_pdf {
        font-size: 1em;
        padding: 8px 16px;
    }
}




#titre {
    font-size: 1.2em; /* Taille de police légèrement plus grande */
    color: #007bff; /* Couleur de texte bleue pour un accent visuel */
    font-weight: bold;
    text-align: center;
    margin-bottom: 20px;
    letter-spacing: 1px; /* Espacement entre les lettres pour plus de lisibilité */
    border-bottom: 5px solid #007bff; /* Bordure inférieure bleue pour un effet visuel moderne */
    padding-bottom: 5px; /* Espace en bas de la bordure pour l'espacement visuel */
    background-color: rgb(230,230,230);
}




.tableau{border:solid 1px black;border-collapse: collapse;}
.tableau td{border:solid 1px black;text-align: center;padding: 10px;}