Blame doc/devhelp/style.css

Packit 423ecb
.synopsis, .classsynopsis 
Packit 423ecb
{
Packit 423ecb
  background: #eeeeee;
Packit 423ecb
  border: solid 1px #aaaaaa;
Packit 423ecb
  padding: 0.5em;
Packit 423ecb
}
Packit 423ecb
.programlisting 
Packit 423ecb
{
Packit 423ecb
  background: #eeeeff;
Packit 423ecb
  border: solid 1px #aaaaff;
Packit 423ecb
  padding: 0.5em;
Packit 423ecb
}
Packit 423ecb
.variablelist 
Packit 423ecb
{
Packit 423ecb
  padding: 4px;
Packit 423ecb
  margin-left: 3em;
Packit 423ecb
}
Packit 423ecb
.variablelist td:first-child
Packit 423ecb
{
Packit 423ecb
  vertical-align: top;
Packit 423ecb
}
Packit 423ecb
table.navigation 
Packit 423ecb
{
Packit 423ecb
  background: #ffeeee;
Packit 423ecb
  border: solid 1px #ffaaaa;
Packit 423ecb
  margin-top: 0.5em;
Packit 423ecb
  margin-bottom: 0.5em;
Packit 423ecb
}
Packit 423ecb
.navigation a 
Packit 423ecb
{
Packit 423ecb
  color: #770000;
Packit 423ecb
}
Packit 423ecb
.navigation a:visited 
Packit 423ecb
{
Packit 423ecb
  color: #550000;
Packit 423ecb
}
Packit 423ecb
.navigation .title 
Packit 423ecb
{
Packit 423ecb
  font-size: 200%;
Packit 423ecb
}
Packit 423ecb
div.refnamediv 
Packit 423ecb
{
Packit 423ecb
  margin-top: 2em;
Packit 423ecb
}
Packit 423ecb
div.gallery-float 
Packit 423ecb
{
Packit 423ecb
  float: left;
Packit 423ecb
  padding: 10px;
Packit 423ecb
}
Packit 423ecb
div.gallery-float img 
Packit 423ecb
{
Packit 423ecb
  border-style: none;
Packit 423ecb
}
Packit 423ecb
div.gallery-spacer 
Packit 423ecb
{
Packit 423ecb
  clear: both;
Packit 423ecb
}
Packit 423ecb
a
Packit 423ecb
{
Packit 423ecb
  text-decoration: none;
Packit 423ecb
}
Packit 423ecb
a:hover
Packit 423ecb
{
Packit 423ecb
  text-decoration: underline;
Packit 423ecb
  color: #FF0000;
Packit 423ecb
}