Updated lua to version 5.1.2.

[tagua.git] / lua / doc / manual.css

h3 code {
        font-family: inherit ;
}

pre {
        font-size: 105% ;
}