#sofy13 {
width: 100%;
height: auto;

border-width: medium thick thick thick;
border-color: RGB(190,238,42);
border-style: hidden;
}

#repe72 {
width: 100%;
height: auto;

}

.fole38 {
width: 100%;
height: auto;

}

#jycy19 {
font-family: sans-serif;
font-size: 13;
font-style: italic;
margin-left: 1px;
margin-bottom: 2px;
margin-right: 3px;
margin-top: 4px;
border-width: medium medium thick medium;
border-color: RGB(92,135,153);
border-style: double;
}

.paje97 {
width: 100%;
height: auto;

border-width: medium medium thick thick;
border-color: RGB(177,198,48);
border-style: hidden;
}

.bycy12 {
width: 100%;
height: auto;

}

#riti43 {
font-family: monospace;
font-size: 13;
font-style: italic;
border-width: thick thin medium thin;
border-color: RGB(46,126,216);
border-style: double;
}