OILS / web / osh-to-oil-index.css View on Github | oilshell.org

21 lines, 17 significant
1/* For the FILES.html index */
2
3thead {
4 font-weight: bold;
5 /*text-align: center;*/
6}
7
8table {
9 padding: 10px; /* Padding makes it look nicer. */
10 margin: 0 auto; /* center table on the page */
11 border-collapse: collapse; /* this is like old cellpadding */
12}
13
14/* like cellspacing? */
15td {
16 padding: 5px;
17}
18
19h2 {
20 text-align: center;
21}