b0VIM 9.0.:iQ:andyhoover~andy/git/oils-for-unix/oils/web/base.cssutf-8 3210#"! UtpYadsYneQMmdP  T   X   < $  W # z h f e d ` 0 - z]@#} text-align: right.col6-right td:nth-child(8) {.col6-right td:nth-child(7),.col6-right td:nth-child(6),.col5-right td:nth-child(5),.col4-right td:nth-child(4),.col3-right td:nth-child(3),.col2-right td:nth-child(2),.col1-right td:nth-child(1), */ * colgroup/col doesn't work for right-justifying columns * * Usage: /* } color: darkred;.in-progress {} border-top: solid 1px #BBB; padding-bottom: 2em; padding-top: 0.5em; margin-top: 2em;#build-timestamp {#why-sponsor a { color: darkgreen; }#why-sponsor a:hover { text-decoration: underline }#why-sponsor a:link { text-decoration: none }} font-weight: bold; color: darkgreen;#version-in-header {} text-align: right;#home-link {ol { padding-left: 1.2em; }ul { padding-left: 1.2em; } * surrounding text. *//* Remove left indent of bullet. 0em puts the bullet to the LEFT of} padding: 1em; background-color: #EEE;pre {} color: #444;body {} .width35 { width: 35em; } /* May 2022 update. Make more room for code. */ .width60 { width: 60em; } /* test/wild, benchmarks */ .width50 { width: 50em; } /* releases.html uses this */ .width40 { width: 40em; } /* the default for doc/*.md */ /* We don't want too many distinct widths, so pre-declare them here. */ .wider { width: 45em; } /* A few posts with tables */ .skinny { width: 30em; } /* Most blog posts */ } font-size: large; /* 2024-01 - all pages deserve this */ line-height: 1.4; /* http://bettermotherfuckingwebsite.com/ */ padding: 0 1em; /* 2025-11 fix - iPad also needs padding */ margin: 0 auto; body {@media screen and (min-width: 801px) {/* wide screens: Center and limit width for readability */} } overflow: auto; pre { /* mobile: horizontal scrollbar for code, so the long lines don't make the page small */ } padding: 0 1em; body { /* mobile: distance from left/right edge */@media screen and (max-width: 800px) { *//* base.css: Style common to all pages on oilshell.org.