]> andersk Git - splint.git/blame - doc/manual.css
noexpand always false.
[splint.git] / doc / manual.css
CommitLineData
9645dee1 1body { font-family: Arial, helvetica, sans-serif }
2h1 { font-family: Arial, helvetica, sans-serif; color: darkblue }
3h2 { font-family: Arial, helvetica, sans-serif; color: darkblue }
4h3 { font-family: Arial, helvetica, sans-serif; color: darkblue }
5h4 { font-family: Arial, helvetica, sans-serif; color: darkblue; top-padding: .2em }
6h5 { font-family: Arial, helvetica, sans-serif; color: darkblue; top-padding: .2em }
7
8body { background: white }
9title { font-family: Ariel, helvetica, sans-serif; color: darkblue }
10A:link { color: blue }
11A:visited { color: darkblue }
12A:active { color: green }
13body { margin-left: 0%; margin-right: 0%; margin-top: 0%; margin-bottom:
140% }
15h4 { margin-left: 0%; margin-right: 0% }
16h3 { margin-left: 0%; margin-right: 0% }
17h2 { margin-left: 0%; margin-right: 0% }
18h1 { margin-left: 0%; margin-right: 0% }
19
20
21
This page took 0.218581 seconds and 5 git commands to generate.