kbd { /* Shows a console text strip in text */
border: solid 1px #666666;   
background-color: white;
padding-left: 2;
padding-right: 8;
white-space: nowrap;
color: black
}

kbd.standalone { /* Shows a console text strip */
width: 85%;
padding: 2;
border: solid 2px #666666;   
color: black
}

div.consoleoutput { /* Shows a bit of the console */
padding-top: 14;
padding-bottom: 14;
padding-left: 5;
padding-right: 5;
width: 85%;
background-color: black;
color: yellow;
}

/* Link to ICC command */
a:link.command { color: blue; text-decoration: none }
a:active.command { color: red; text-decoration: none }
a:visited.command { color: blue; text-decoration: none }
a:hover.command { color: green; text-decoration: underline }

div.tip { /* Shows a tip */
background: #DDF;
padding: 0.5em;
border-width: thin thick thick thin;
border-color: black;
border-style: outset;
margin-top: 0.5em;
margin-bottom: 1em;
margin-left: 30px;
width: 80%;
font-size: 88%;
color: black}

div.advanced { /* Shows an advanced feature */
background: #EDD;
padding: 0.5em;
border-width: thin thick thick thin;
border-color: B33;
border-style: outset;
margin-top: 0.5em;
margin-bottom: 1em;
margin-left: 30px;
width: 80%;
font-size: 88%;
color: black}