Remove building with NOCRYPTO option

[minix.git] / external / mit / lua / dist / doc / manual.css

h3 code {
        font-family: inherit ;
        font-size: inherit ;
}

pre, code {
        font-size: 12pt ;
}

span.apii {
        color: gray ;
        float: right ;
        font-family: inherit ;
        font-style: normal ;
        font-size: small ;
}

h2:before {
        content: "" ;
        padding-right: 0em ;
}