p {
   margin-left: 1em;
   margin-right: 1em;
}

.doc {
 text-align: center; display: inline-block; border: 1px solid black; margin-left: 1em; background-color: #ffffaa; border: 1px dashed red; border-radius: 6px; -moz-border-radius: 6px; -webkit-border-radius: 6px; 
}

.doc > pre {
display: inline-block; text-align: left; margin-bottom: 0; padding-bottom: 0; padding-right: 1em; background-color: #ffffaa;
}

.doc > pre > .comment {
   color: #005500; font-weight: bold;
}

.doc > pre > .keyword {
   color: #5555ff;
}

.doc > pre > .literal {
   color: color: #5555ff;
}

.doc > pre > .operator {
   color: blue;
}

.doc > .caption {
   text-align: center; font-weight: bold; font-size: small; font-family: serif; margin: 0; padding: 0;
}

a > img,
a:link > img,
a:visited > img {
   border: 2px solid white;
   padding: 0.25em;
}

a:hover > img
{
   border: 2px solid blue;
   padding: 0.25em;
}