1 H1 { text-align: center; } 2 CAPTION { font-weight: bold } 3 A.qindex {} 4 A.qindexRef {} 5 A.el { text-decoration: none; font-weight: bold } 6 A.elRef { font-weight: bold } 7 A.code { text-decoration: none; font-weight: normal; color: #4444ee } 8 A.codeRef { font-weight: normal; color: #4444ee } 9 A:hover { text-decoration: none; background-color: #f2f2ff } 10 DL.el { margin-left: -1cm } 11 DIV.fragment { width: 100%; border: none; background-color: #eeeeee } 12 DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px } 13 TD.md { background-color: #f2f2ff; font-weight: bold; } 14 TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; } 15 TD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; } 16 DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold } 17 DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller } 18 BODY { background: white } 19 TD.indexkey { 20 background-color: #eeeeff; 21 font-weight: bold; 22 padding-right : 10px; 23 padding-top : 2px; 24 padding-left : 10px; 25 padding-bottom : 2px; 26 margin-left : 0px; 27 margin-right : 0px; 28 margin-top : 2px; 29 margin-bottom : 2px 30 } 31 TD.indexvalue { 32 background-color: #eeeeff; 33 font-style: italic; 34 padding-right : 10px; 35 padding-top : 2px; 36 padding-left : 10px; 37 padding-bottom : 2px; 38 margin-left : 0px; 39 margin-right : 0px; 40 margin-top : 2px; 41 margin-bottom : 2px 42 } 43 span.keyword { color: #008000 } 44 span.keywordtype { color: #604020 } 45 span.keywordflow { color: #e08000 } 46 span.comment { color: #800000 } 47 span.preprocessor { color: #806020 } 48 span.stringliteral { color: #002080 } 49 span.charliteral { color: #008080 } 50
