.language {  font-size: 10pt; text-align: right}
.text {  font-size: 12pt; float: none}
.profile {
	font-size: 14px;
	float: none
}
.titlemini { font-size: 14pt; color: #0000FF; text-align: left}
.textmini { font-size: 10.5pt; float: none; line-height: 140%}
.abstract{ font-size: 10.5pt; float: none; line-height: 110%}
.footer { font-size: 11pt; text-align: right }
.listmini { font-size: 10.5pt; float: none ; line-height: 130%}
code {  color: #663300}
.date {  font-size: 10.5pt; text-align: right; color: #0033CC; line-height: 150%}
.programcode {  font-size: 10.5pt; border: black;}
pre { font-family: '‚l‚r ‚oƒSƒVƒbƒN', 'Osaka', monospace; line-height: 115%; white-space: pre; width: 100%; overflow: auto;  color: #993333;}
div.ad {
	text-align: center;
}
div.sidebar {
	background-color: white;
   	width: 125
    font-size: smaller;
	border-style: solid;
	border-color: #cccccc;
	border-width: 0 0 0 1px;
    margin-right: 1%;
    float: right;
}