/* Jargon File stylesheet */


/* default colors used by Mozilla, Galeon, and IE */
a:link    {color: #0000cf;}
a:link:visited {color: #51188e;}
a:link:active  {color: #ff0000;}

/* for the jargon file itself */
div.caption	{text-align: center; font-weight: bold;}
h3.title	{text-align: center;}
.mediaobject	{text-align: center;}

/* handles translation of <center> by tidy */
h1, h2, h3	{font-family: Helvetica, Univers, sans-serif}
h1.centered	{text-align: center;}
p.c2		{font-weight: bold}

div.toc dt{font-weight:normal}

div div.legalnotice,div p.copyright,div p.pubdate{float:right;width:150px;clear:both}
div.legalnotice p,p.pubdate,p.copyright{width:150px;font-size:90%;line-height:110%;margin-top:0.15em;margin-bottom:0.15em}

p {line-height:145%}
pre.screen {font-size:85%}