manual.css (1352B)
1 html { 2 font-family:DejaVu Sans, Bitstream Vera Sans, Arial, Sans; 3 } 4 5 table#steps { 6 border-collapse:collapse; 7 table-layout:fixed; 8 width:100%; 9 } 10 11 table#steps th:last-child, 12 table#steps td:last-child { 13 width:70%; 14 } 15 16 // table#steps.assertions th:last-child, 17 // table#steps.assertions td:last-child { 18 // width:35%; 19 // } 20 21 table#steps th { 22 padding:0; 23 padding-bottom:0.25; 24 border-bottom:medium solid black; 25 } 26 27 table#steps td { 28 padding-top:0.25em; 29 padding-bottom:0.25em; 30 padding-left:0.5em; 31 padding-right:0.5em; 32 border-right:thin solid black; 33 border-top:thin solid black; 34 border-bottom:thin solid black; 35 } 36 37 table#steps td.step, table#steps td.type, table#steps td.element { 38 vertical-align:top; 39 } 40 table#api { 41 border-collapse:collapse; 42 table-layout:fixed; 43 width:100%; 44 } 45 46 // table#steps.assertions th:last-child, 47 // table#steps.assertions td:last-child { 48 // width:35%; 49 // } 50 51 table#api th { 52 padding:0; 53 padding-bottom:0.25; 54 border-bottom:medium solid black; 55 } 56 57 table#api td { 58 padding-top:0.25em; 59 padding-bottom:0.25em; 60 padding-left:0.5em; 61 padding-right:0.5em; 62 border-right:thin solid black; 63 border-top:thin solid black; 64 border-bottom:thin solid black; 65 } 66 67 table#api td.step, table#api td.type, table#api td.element { 68 vertical-align:top; 69 } 70 }