Cosmetic changes; code clean-up
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 |
body { margin:0; } .container { margin:0; } .border, .colborder {border-color: #ddd;} /* Use other style */ body { font-family: "Lucida Sans Unicode","Lucida Grande","Helvetica Neue",Arial,Helvetica,"Liberation Sans","Sans",sans-serif; } /* Make headers bold */ h1,h2,h3,h4,h5,h6,.page-title { font-weight: bold; color: #111; } /* Reset font-sizes and margins */ .page-title { font-size: 2em; margin-bottom: 0.5em; } h1 { font-size: 1.7em; } h2 { font-size: 1.5em; } h3 { font-size: 1.25em; } h4 { font-size: 1.1em; margin-bottom: 0.75em; } h5 { margin-bottom: 1em; } /* Don't use margins for images */ p img { float: none; margin: 0; padding: 0; } img { margin: 0; } tr.even td { background: #fafafa; } tr.odd td { background: #eee; } a:focus, a:hover { color: #fff; background: #37b; } a.nob:focus, a.nob:hover { background: none; } a { text-decoration: none; color: #37b; } small { font-size: 0.9em; } /* Added small tag definition */ big { font-size: 1.1em; } /* Added big tag definition */ /* Override pre-code */ pre,code,tt { font-family: 'DejaVu Sans Mono','Lucida Console','Courier New','Andale Mono',monospace; line-height: 1; } pre { background: #eee; padding: 0.75em 1em; border: 1px dashed #666; } ul { list-style-type: square; line-height: 1.5; } ol { list-style-type: decimal; line-height: 1.5; } /* Misc classes -------------------------------------------------------------- */ .fine { font-size: .95em; } .small { font-size: .9em; } .smaller { font-size: .85em; } .tiny { font-size: .8em; } .wee { font-size: .7em; } .raised { font-size: 1.05em; } .big { font-size: 1.1em; } .large { font-size: 1.2em; } .larger { font-size: 1.3em; } .strong { font-weight: bold; } .italic { font-style: italic; } .highlight { color:#c00; font-weight: bold; border: 1px solid #ddd; background: #fafafa; padding: 0 1px; font-family: "Lucida Sans","Lucida Sans Unicode","Lucida Grande","Helvetica Neue",Arial,Helvetica,sans-serif; } .quieter { color: #999; } .top-1, .top-5, .top-10, .top-15, .top-20 { padding-top:0; } .bottom-1, .bottom-5, .bottom-10, .bottom-15, .bottom-20 { padding-bottom:0; } .top-1 { margin-top:0.1em; } .top-5 { margin-top:0.5em; } .top-10 { margin-top:1em; } .top-15 { margin-top:1.5em; } .top-20 { margin-top:2em; } .bottom-1 { margin-bottom:0.1em; } .bottom-5 { margin-bottom:0.5em; } .bottom-10 { margin-bottom:1em; } .bottom-15 { margin-bottom:1.5em; } .bottom-20 { margin-bottom:2em; } .inline { display: inline; } .float-r { float: right; } .float-l { float: left; } .clear-r { clear: right; } .clear-l { clear: left; } .full-w { width: 100%; } .centered { text-align: center; } .righted { text-align: right; } .box { padding: 1.5em; margin-bottom: 1.5em; background: #f9f9f9; border: 1px solid #aaa; } .frame { padding: 1px; border: 1px solid #ccc; } .top-link { text-align: right; margin: 0.5em 0 1.5em 0; } .help { cursor:help; } .transparent, .transparent:focus, .transparent:hover { background: transparent; } /* Table specific classes -------------------------------------------------------------- */ table .nowrap { white-space:nowrap; } table .narrow-column { width: 10em; } table .narrower-column { width: 8em; } table .slim-column { width: 5em; } table .slimmer-column { width: 4em; } table .very-slim-column { width: 3em; } table .ultra-slim-column { width: 1em; } /* Use different font for bold text */ h1, h2, h3, h4, h5, h6, .page-title, .strong, .highlight { font-family: "Lucida Sans","Lucida Sans Unicode","Lucida Grande","Helvetica Neue",Arial,Helvetica,sans-serif; } |
|---|