body >div.contents {
margin: ($muwu-root-line-height * 4) 0; >h1 { font-size: ($muwu-root-font-size * 1.25); margin: 0 0 ($muwu-root-line-height * 2) 0; text-align: left; } .compiler_warning { background-color: #ffa; td { a { color: #A00; } } } >table { border-collapse: collapse; tr { td { vertical-align: top; padding: 0.3rem 0.4rem; table { border-collapse: collapse; margin-top: 0.2rem; margin-bottom: -0.2rem; } } td:first-child { padding-left: 0rem; } td:last-child { padding-right: 0rem; } td.heading { text-align: left; } td.number { text-align: right; } } } >ol { list-style-type: none; display: block; margin: 0rem; li { margin: ($muwu-root-line-height * 0.5) 0rem; a { display: inline; } ol { list-style-type: none; display: block; margin: 0rem 1rem; } } }
}