/* --- robotpkg.css -------------------------------------------------------- */

body {
  color:	#444;
  background:	#fffffc;
  font:		normal normal normal 12px/1.5 sans-serif;
  max-width:	60em;
  margin:	0 auto auto 4em;
  text-align:	justify;
}

h1 {
  min-width:		70%;
  padding:		2ex 0 0.25ex 0;
  border-bottom:	1px solid #ccc;
  font-size:		175%;
}

h2 {
  margin:		3ex 0 0.5ex 0;
  font-size:		150%;
}

pre {
  background:	#fffff0;
  border:	1pt solid #eeeeee;
  font-family:	monospace;
  padding:	3pt;
  white-space:	pre-wrap;
  word-wrap:	break-word;
}

a:link, a:visited {
    color:		#660403;
    font-weight:	normal;
    text-decoration:	none;
}

a:hover {
    color:		#e90017;
    text-decoration:	underline;
}

div.footer {
    color:		#aaa;
    width:		40%;
    min-width:		40em;
    font-size:		80%;
    margin:		10ex auto 0 auto;
    padding-top:	1ex;
    text-align:		center;
    border-top:		1px solid #ccc;
}

.robotpkg, .path {
  font-family:		monospace;
}

table td {
  border-style:		none;
  padding:		0 4ex;
}

table, table tr {
  border:		1px solid #ccc;
  text-align:		center;
}