PRE.konsole { background-color: #fffde0; border: 1px solid #909090; padding: 0.2em 0; padding-left: 0.5em; cursor:pointer; }
PRE.r_print         { background-color:#f0f0f0; border:solid gray 1px; margin: 4px; padding:4px; text-align: left; cursor:pointer; }
.rprint_id      { color: red; }
.rprint_name    { color: darkmagenta; }
.rprint_value   { color: blue; }
.rprint_thisname  { color: black; }
.rprint_function  { color: blue; }