Mercurial > p > roundup > code
view doc/_static/style.css @ 6614:e9dc8e526dd0
Remove fix for old mysql bug; try to improve postgresql perf
Supposedly mysql bug that causes
test_mysql.mysqlDBTest.testFilteringSpecialChars to fail was fixed in
8.0.1 in 2017: https://bugs.mysql.com/bug.php?id=74901
Also disable fsync for postgres as we prefer speed to durability of
data when running test suite. Need to find correct path for
postgrsql.conf, so ls command added as well.
| author | John Rouillard <rouilj@ieee.org> |
|---|---|
| date | Sat, 12 Feb 2022 00:50:02 -0500 |
| parents | 515ab1749b14 |
| children | b5b1f2830e23 |
line wrap: on
line source
/* layout*/ body { font-family: sans-serif, Arial, Helvetica; background-color: white; color: #333; margin:0; padding: 0 3em 0 14em; } body > .header { margin: 0 0 0 -14em;} body > .footer { margin: 1em 0 1em -14em; clear:both;} body > .navigation { margin-left: -14em; width: 14em; float: left; } body > .content { width: 100%; margin: 0; } body > .header > #searchbox { position: absolute; right: 1em; top: 1em;} /* style */ :link { color: #bb0000; text-decoration: none;} :visited { color: #770000; text-decoration: none;} a.toc-backref { color: #000000; } .header h1 { margin-left: 1em; } body { font-family: sans-serif, Arial, Helvetica; background-color: #f5f5f5; color: #333; } .menu { margin-right: 1em; padding: 2pt; border: solid thin #dadada; background-color:#ffffff; } .menu ul { list-style-type:none; padding: 0;} .menu ul ul { padding-left: 1em;} .menu li { border-top: solid thin #dadada;} .menu li:first-child { border-top: none;} /* related */ div.related { width: 100%; font-size: 90%; } div.related-top { border-bottom: solid thin #dadada;} div.related-bottom { border-top: solid thin #dadada;} div.related ul { margin: 0; padding: 0 0 0 10px; list-style: none; } div.related li { display: inline;} div.related li.right { float: right; margin-right: 5px; } .footer { font-size: small; text-align: center; color: lightgrey; } .content { padding: 1em; border: solid thin #dadada; background-color: #ffffff; } /* This is a little hack to inject a 'news' block into the title page without having to set up a custom directive. */ #roundup-issue-tracker .note { float: right; width: auto; border: solid thin #dadada; background-color:#f5f5f5; padding: 1em; margin: 1em; } #roundup-issue-tracker .note .admonition-title { display: none; } table { border-collapse: collapse; border-spacing: 1px; background-color: #fafafa; } a.headerlink { font-size: 0.8em; margin-left: 0.3em; color: #c99; }
