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;
}

Roundup Issue Tracker: http://roundup-tracker.org/