/* Common style definitions for GiNaC pages */

/* Page and link colors */
body { background: white; color: black }
a:link { color: #b00000 }
a:active { color: #000000 }
a:visited { color: #303030 }

/* Smaller headlines */
h1 { font-size: x-large }
h2 { font-size: large }
h3 { font-size: medium }

/* Page headers */
#header {
  margin-bottom: 2em;
}

/* GiNaC logo in page headers */
.headerlogo {
  float: right;
  width: 69px;
  vertical-align: middle;
}

/* Source code examples with grey background */
.example {
  background: #dfdfdf;
  padding: 0.5em;
}

/* Undecorated lists */
.nobullets {
  list-style-type: none;
  margin: 0;
  padding: 0;
}

.nobullets li {
  margin: 0;
  padding: 0;
}

/* News items */
.newsitem {
  background: #efefef;
  margin: 1em 0;
  padding: 0.5em;
}

/* Nice tables */
table.nicetable {
  background: #dfdfdf;
  border: 2px solid black;
  margin-top: 0.5ex;
  border-collapse: collapse;
}

table.nicetable th {
  padding: 0.2ex 0.5ex;
  border:1px solid black;
}
table.nicetable td {
  padding: 0.2ex 0.5ex;
  border:1px solid black;
}