firtst release
Rev. | ae19f43d09e8bd15267ba57510440da7874c1575 |
---|---|
Size | 2,126 bytes |
Time | 2016-04-22 13:38:42 |
Author | MasaoFujii |
Log Message | Use pg_reload_conf() to reload the configuration file in regression test.
Previously the regression test ran pg_ctl reload command for that purpose.
|
body {
font-family:
Lucida Grande, Verdana, Arial, Helvetica,
'メイリオ',
'Meiryo',
'ヒラギノ角ゴ Pro W3',
'Hiragino Kaku Gothic Pro',
'Osaka',
'MS Pゴシック',
sans-serif;
color: #202020;
}
/* give the rule a bit of extra space (above and below), since its being used to divide
sections on some pages (project summary) */
HR { margin: 5px 0px 5px 0px }
h2, h3, h4, h5, h6 {
color: Black;
background: none;
padding-top: 0.5em;
padding-bottom: 0.17em;
border-bottom: 1px solid #aaaaaa;
}
H1 { font-size: x-large; font-family: Lucida Grande,verdana,arial,helvetica,sans-serif; }
H2 { font-size: large; font-family: Lucida Grande,verdana,arial,helvetica,sans-serif; }
H3 { padding-left: 1em; font-size: medium; font-family: Lucida Grande,verdana,arial,helvetica,sans-serif; }
H4 { padding-left: 2em; font-size: small; font-family: Lucida Grande,verdana,arial,helvetica,sans-serif; }
H5 { padding-left: 3em; font-size: x-small; font-family: Lucida Grande,verdana,arial,helvetica,sans-serif; }
H6 { padding-left: 4em; font-size: xx-small; font-family: Lucida Grande,verdana,arial,helvetica,sans-serif; }
pre {
font-family: courier,sans-serif;
background-color: #FBFBFD;
border: 1px dashed #7E7ECB;
color: black;
line-height: 1.1em; padding: 0.5em;
overflow: auto;
}
li {
line-height: 1.4em;
}
table {
background: #f9f9f9;
border: 1px solid #aaa;
border-collapse: collapse;
}
th, td {
border: 1px solid #aaa;
padding: 0.2em;
}
thead th {
background: #f2f2f2;
text-align: center;
}
tbody th {
background: #f2f2f2;
text-align: left;
}
div.index {
float:right;
border:thin solid black;
background-color: white;
padding-top: 0.2em;
padding-bottom: 0.2em;
padding-left: 1em;
padding-right: 1em;
margin-left: 0.5em;
}
p.footer {
text-align: right;
font-size: small;
}
span.param {
color: #0000cd;
}
span.strong {
font-weight: bold;
text-decoration: underline;
}
div.tips{
font-size: small;
border: 1px solid #aaa;
background-color: #EFEFEF;
line-height: 1.1em; padding: 0.5em; margin: 0em 2em;
}
span.bold {
font-weight: bold;
}