/* Style sheet for line.pl */

body 		{ background: #f0f4ff }

h1, h2, h3      { font-family: sans-serif }

h1              { background: #000088;
                  color: white;
                  padding: 0 0.5em 0 0.5em;
                  margin: 0 0 1ex 0;
                  font-size: x-large }

h2              { color: #000088;
                  padding: 0 0.5em 0 0.5em;
		  font-size: large;
		  border-style: solid none;
		  border-width: thin }


img.boojum      { display: block;
                  margin-left: auto;
                  margin-right: auto;
                  margin-top: 10ex;
                  margin-bottom: 10ex }
p.attrib        { text-align: right }