/* @import url('docbook.css'); */

body {
  background-color: #eee;
  font-size: 10pt;
}

div.toc-title {
  color: white;
  background-color: #008;
  font-size: 12pt;
  font-family: sans-serif;
  padding: 2px;
}

h1.title, h2.title, h3.title {
  color: white;
  background-color: #008;
  font-size: 12pt;
  font-family: sans-serif;
  padding: 2px;
}

section.article {
  width: 800px;
  margin: auto;
  padding: 40px 40px;
  background-color: #fff;
  border-radius: 20px;
  -moz-border-radius: 20px;
}

p {
  text-align: justify;
}

table {
  margin: 1em;
  font-size: 1em;
  border: 1px solid #bbb;
  /* background-color: #ffd; */
  /* color: #000;    */
  /* overflow: auto; */
  /* border-radius: 2.5px;
  -moz-border-radius: 2.5px; */
  margin: 0.5em 2em;
  padding: 0px;
}


table th {
  background-color: #eee;
}

table th, table td {
  border: 1px solid #bbb;
  margin: 0px;
  padding: 3px;
  border-radius: 2.5px;
  -moz-border-radius: 2.5px;
}


.title {
  font-family: sans-serif;
}

.productname, .package {
  font-family: monospace;
  /* font-size: 120%; */
}

.package {
  font-weight: bold;
}

.figure .figure-contents .mediaobject, .figure .figure-title {
  text-align: center;
}

.toc-title {
  font-size: 16pt;
  font-weight: bold;
  font-family: sans-serif;
}

div.example {
  margin-top: 2ex;
}

div.example-contents {
  margin-right: 1em;
  padding-left: 8px;
  border-left: 5px solid #eee;
}

.screen {
  font-family: monospace;
  font-size: 1em;
  display: block;
  padding: 10px;
  border: 1px solid #bbb;
  background-color: #eee;
  color: #000;
  overflow: auto;
  border-radius: 2.5px;
  -moz-border-radius: 2.5px;
  margin: 0.5em 2em;
}

.programlisting {
  font-family: monospace;
  font-size: 9pt;
  display: block;
  padding: 10px;
  border: 1px solid #bbb;
  background-color: #ffd;
  color: #000;
  overflow: auto;
  border-radius: 2.5px;
  -moz-border-radius: 2.5px;
  margin: 0.5em 2em;
}
/* vim: set syntax=css: */