
h1{
  font-size:      150%;
  font-style:     italic;
  color:          blue;
  font-weight:    bold;}
p{
  margin-left:    auto;
  margin-right:   auto;
  font-size:      100%;
  text-align:     justify;
  color:          #000000; }
.error{
  font-size:      130%;
  color:          red;
  text-align:     left; }
.small-right{
  text-align:     right;
  font-size:      75%;  }
.small-left{
  font-size:      75%; }
pre{
  font-family:    Courier, monospace;}
.input-label{
  color:          darkred;
  font-size:      100%;
  font-weight:    bold;}
.inputcode{
  color:          darkgreen;
  font-size:      100%;
  font-weight:    bold;}
.output{
  background-color: lightgray;
  color:          blue;
  font-weight:    bold;
  font-size:      100%;}
.print{
  font-size:      75%;
  font-style:     italic;}
td{
  text-align:     left;
  vertical-align: top;}
textarea{
  width:          100%;}
.maxima-output{
    display:		flex;
    justify-content:	center;
    align-items:	center;
    margin:		auto;}
.mathml{
    font-size: large;
    color:     black;}
.output-label::before, .input-label::before{
    content:"[";}
.output-label::after, .input-label::after{
    content:"] ";}
tr.retrieve{
    background-color: lightpink;
    color:            black;}
span.retrieve{
    white-space:	pre;
    font-family:	monospace;
    display:		block;
    margin:		25px;
    font-weight:	bold;
    font-style:		oblique;}

/* CORRECTION : Séparer les règles */
.menu-row {
    display:	flex;
    gap:	10px;
    margin:	10px 0;
    flex-wrap:	wrap;
}

.cmd-menu {
    padding:		8px 12px;
    font-size:		14px;
    border:		1px solid #ccc;
    border-radius:	4px;
    background:	        white;
    min-width:		180px;
}

.cmd-menu:focus {
    outline:		2px solid #007cba;
    border-color:	#007cba;
}

/* Titres de menu en bleu clair/gras */
.cmd-menu option:first-child {
    background-color:	#f0f8ff;  /* Bleu très clair */
    color:		#1e40af;  /* Bleu moyen */
    font-weight:	600;
    font-style:		italic;
}

/* Effet survol pour tous les titres */
.cmd-menu option:first-child:hover {
    background-color:	#dbeafe;
    color:		#1d4ed8;
}

/* Séparateur visuel pour les autres options */
.cmd-menu option:not(:first-child) {
    font-weight:	normal;
}

.small-right {
    float:	right !important;
    font-size:	75% !important;
    margin-top: -40px !important;
}
