1p, li, td, th, h1, h2, h3 { 2 line-height: 1.6; 3} 4 5#control { 6 background-color: #eefaff; 7 border: 1px solid #3399ff; 8 border-collapse: collapse; 9 margin: 0px 0px 20px 0px; 10 width: 100%; 11} 12 13#control td { 14 padding: 3px; 15} 16 17#control_menu:link { 18 display: block; 19 width: 5em; 20 height: 20pt; 21 text-align: center; 22 line-height: 20pt; 23 color: #ffffff; 24 background-color: #3399ff; 25 position: fixed; 26 top: 0px; 27 right: 0px; 28} 29 30#control_menu:visited { 31 color: #ffffff; 32} 33 34#control_menu:hover { 35 color: #ffffff; 36 background-color: #0000ff; 37} 38 39.menu { 40 list-style-type: none; 41 margin: 0px; 42 padding: 0px; 43} 44 45.menu li { 46 display: inline; 47 padding: 0px 1em 0px 0px; 48} 49 50a:link { 51 color: #2244ff; 52 text-decoration: none; 53 font-family: monospace; 54} 55 56a:visited { 57 color: #2244ff; 58 text-decoration: none; 59} 60 61a:hover { 62 color: #ff3322; 63 text-decoration: underline; 64} 65 66a:active { 67 color: #ff3322; 68 text-decoration: underline; 69} 70 71#module_table { 72 border-collapse: collapse; 73 width: 100%; 74} 75 76#module_tbody td, 77#module_tbody th { 78 border: 1px solid #dddddd; 79 padding: 3px 20px; 80 vertical-align: top; 81} 82 83#module_tbody th { 84 background-color: #eeeeee; 85} 86 87#module_tbody h1, 88#module_tbody h2, 89#module_tbody p { 90 font-size: 100%; 91 margin: 0px; 92 padding: 0px; 93} 94 95#module_tbody ol, 96#module_tbody ul { 97 margin: .3em 0px; 98 padding: 0px 0px 0px 2em; 99} 100 101#module_tbody tr:target { 102 background-color: #fffff0; 103 transition: background-color 800ms ease; 104} 105 106#module_tbody p.module_src_dir { 107 font-family: monospace; 108 font-size: 80%; 109 color: #aaaaaa; 110} 111 112#no_module_placeholder { 113 font-style: italic; 114 font-family: sans-serif; 115 text-align: center; 116} 117