3,897
edits
Changes
Jump to navigation
Jump to search
no edit summary
.doc6 { background-color: white; border-bottom: 1px solid #f5deb3; border-left: 20px solid #f5deb3; }
.doc7 { background-color: white; border-bottom: 1px solid #e4bfe4; border-left: 20px solid #e4bfe4; }
/* next three classes are generated by <syntax> */
a.cmdref:link { color: #872222; text-decoration: none;}
a.cmdref:visited { color: #872222; text-decoration: none;}
a.cmdref:hover { color: #36b; text-decoration: none;}
a.cmdref:active { color: #872222; text-decoration: none;}
a.cmdinst:link { color: #872222; text-decoration: none; font-style: italic;}
a.cmdinst:visited { color: #872222; text-decoration: none; font-style: italic;}
a.cmdinst:hover { color: #36b; text-decoration: none; font-style: italic;}
a.cmdinst:active { color: #872222; text-decoration: none; font-style: italic;}
a.cmdvalue:link { color: #872222; text-decoration: none; font-style: italic;}
a.cmdvalue:visited { color: #872222; text-decoration: none; font-style: italic;}
a.cmdvalue:hover { color: #36b; text-decoration: none; font-style: italic;}
a.cmdvalue:active { color: #872222; text-decoration: none; font-style: italic;}
a.external:hover { color: #36b; text-decoration: none;}
a.external:active { color: #872222; text-decoration: none;}
a.new:link { color: red; text-decoration: none;}
a.new:hover { color: red; text-decoration: none;}
a.new:active { color: red; text-decoration: none;}
