version 1.8, 2009/09/21 13:44:56 |
version 1.9, 2009/09/21 23:12:08 |
Line 10 span.arg { font-style: italic; } |
|
Line 10 span.arg { font-style: italic; } |
|
span.config { font-weight: bold; } |
span.config { font-weight: bold; } |
span.diag { font-weight: bold; } |
span.diag { font-weight: bold; } |
span.emph { font-style: italic; } |
span.emph { font-style: italic; } |
span.farg { font-style: underline; } |
span.farg { text-decoration: underline; } |
span.file { font-style: italic; } |
span.file { font-style: italic; } |
span.flag { font-weight: bold; } |
span.flag { font-weight: bold; } |
span.name { font-weight: bold; } |
span.name { font-weight: bold; } |
span.type { font-weight: italic; } |
span.type { font-style: italic; } |
span.utility { font-weight: bold; } |
span.utility { font-weight: bold; } |
table.header { border-bottom: 1px dotted #cccccc; } |
table.header { border-bottom: 1px dotted #cccccc; } |
table.footer { border-top: 1px dotted #cccccc; } |
table.footer { border-top: 1px dotted #cccccc; } |