/* Keywords: */
.highlight-Name { color: #000000; }
.highlight-Explanation { color: #0000bb; }
.highlight-Synopsis { color: #007700; font-weight: bold; }
.highlight-Description { color: #dd0000; }
.highlight-Example { color: #ff8000; }
.highlight-Related { color: #ff8000;  font-weight: bold; }