/* #f1dcc8 #ef903d https://cssgradient.io/ 0% 30% 90deg */
body {
 background: rgb(241,220,200);
 background: linear-gradient(90deg, rgba(241,220,200,1) 0%, rgba(239,144,61,1) 30%);
}
pre.fileconf {
	background-color: #fffbd3 ;
}

pre.shellcmd {
	background-color: #f1cba9 ;
}






/* #f1dcc8 #ef903d https://cssgradient.io/ 70% 100% 270 deg */
div.basdepage {
    text-align : right ;
    background: rgb(241,220,200);
    background: linear-gradient(270deg, rgba(241,220,200,1) 70%, rgba(239,144,61,1) 100%);
}
img {
	vertical-align:middle
}