plugins/org.eclipse.viatra2.help/style.css

/* VIATRA2 stylesheet for DocBook generated HTML                             */
body
{
	color: #000;
	background-color: #fff;

	margin: auto;
	padding: 24px;
	width: auto;

	text-align: justify;
}


body, p, dt, dd, td, li 
{
	font: 12px/18px Verdana, Helvetica, Arial;
}


p
{
	font: 12px/18px Verdana, Helvetica, Arial;
  margin: 6pt 12px 6pt 12px;
  padding-bottom: 6pt
}


img
{
  margin: 0;
  padding: 3pt;
  border: 0;
}


em
{
  font-weight: 600;
  font-style: italic;
}


h2
{
	font-family: Verdana, Arial, Helvetica;
	font-size: 125%;
	font-weight: 600;
	text-decoration: none;

	/* foreground color: dark blue */
	color: #009;

	/* background color: gray */
	/*background-color: #e8e8e8;*/ 
	border-bottom: solid 2px;

	margin: 15px 0 15px 0;

	padding: 12px 15px 12px 15px;
}


/*
div[class=section] * h2
{
	font-family: Verdana, Arial, Helvetica;
	font-size: 110%;
	font-weight: 600;
	text-decoration: none;

	color: #00A;

	border-bottom: solid 1px;

	padding: 0 0 0 15px;
}
*/

h3
{
	font-family: Verdana, Arial, Helvetica;
	font-size: 110%;
	font-weight: 600;
	text-decoration: underline;
	color: #009;
	/*background-color: #f0f0f0;*/ 
	/*background-color: #ddd;*/ 
	padding: 0 0 0 15px;
}


h4
{
	font-family: Verdana, Arial, Helvetica;
	font-size: 100%;
	font-weight: 600;
	text-decoration: underline ;
	color: #009;
	/* background-color: #fefefe; */
	padding: 0 0 0 15px;
}


h5
{
	font-family: Verdana, Arial, Helvetica;
	font-size: 100%;
	font-weight: 400;
	text-decoration: underline  ;
	color: #009;
	/* background-color: #fefefe; */
	padding: 0 0 0 15px;
}



.mediaobject
{
  text-align: center;
}


.calloutlist, .figure, .table
{
  margin: 15px 30px 15px 30px;
}


.itemizedlist, .variablelist {
  margin: 15px 30px 15px 15px;
}

.blockquote
{
  margin-bottom: 30px;
}

.blockquote p, .blockquote td
{
	font: 12px/18px Verdana, Arial, Helvetica;
  font-weight: 450;
}


.epigraph
{
  margin-bottom: 30px;
}

.epigraph p, .epigraph td
{
	font: 10px/14px Verdana, Arial, Helvetica;
  font-weight: 600;
}


.navheader th, .navheader td, .navfooter th, .navfooter td, .navheader table, .navfooter table
{
  font-size: 11px;
  font-weight: 450;
  /*background-color: #def;*/
  background-color: #bdd;
  padding-bottom: 2pt;
  padding-top: 2pt;
  /*border-color: #fff;*/
}


.toc, .list-of-figures, .list-of-tables
{
  margin: 15px 30px 15px 15px;
}


.toc p, .list-of-figures p, .list-of-tables p
{
  margin: 0;
}


.figure
{
  margin: 5px 5px 5px 5px;
  padding: 0;
  border: 0;
  text-align: center;
}


.figure p, .table p, .example p
{
  font-size: 80%;
}

pre.programlisting
{
	font-family: "Courier New", Courier, Monospace;
	color: #000;
  background-color: #ddd;
	margin: 6pt;
	border: 1px solid #ddd;
	padding: 6px 6px 6px 6px;
}

/* title page */
h1
{
	font-family: Verdana, Arial, Helvetica, Sans-Serif;
	font-size: 150%;
	font-weight: 600;
	line-height: 250%;
	text-align: center;
	color: #009;
	/*background-color: #ddd;*/
	margin: 15px 0 15px 0;
	padding: 0;
}
h3.author
{
	font: 12px/18px Verdana, Arial, Helvetica;
	font-weight: 600;
	text-decoration: none;
	text-align: center;
	color: #000;
	background-color: #fefefe;
  margin: 0 15px 15px 15px;
  padding: 0;
  border: 0;
}
.copyright, .pubdate
{
	font-family: Verdana, Arial, Helvetica;
	font-size: 90%;
  text-align: center;
  margin: 15px 15px 15px 15px;
  padding: 0;
  border: 0;
}

div.legalnotice
{
	font-family: Verdana, Arial, Helvetica;
  font-size: 80%;
  color: #000;
  background-color: #ccc;
  margin: 15px 65px 15px 65px;
  padding: 10px 10px 10px 10px;
  border: 1px solid #000;
}

/* admonition headings */
div.note, div.important, div.warning, div.caution, div.tip
{
  padding: 0px 15px 0px 0px;
}

div.note th, div.important th, div.warning th, div.caution th, div.tip th
{
	font: 12px/18px Verdana, Arial, Helvetica;
  font-weight: 600;
  text-decoration: underline;
  text-align: left;
}

.note p, .important p, .warning p, .caution p, .tip p
{
  margin: 0;
}

.note img, .important img, .warning img, .caution img, .tip img
{
  margin: 0px 15px 0px 15px;
}


div.important
{
/*  background-color: #fff0f5;*/
	background-color: #ffd;
  border-style: solid;
  border-width: 1px;
  padding : 10px 10px 10px 10px;
}

div.note
{
  /*background-color: #eeeee0;*/
  background-color: #eee;
  border-style: solid;
  border-width: 1px;
  padding : 10px 10px 10px 10px;
}

div.warning
{
  background-color: #ffe4e1;
  border-style: solid;
  border-width: 1px;
  padding : 10px 10px 10px 10px;
}

div.tip
{
	background-color: #dff;
	/*background-color: #f0ffff;*/
  border-style: solid;
  border-width: 1px;
  padding : 10px 10px 10px 10px;
}

div.caution
{
  background-color: #ffdab9;
  border-style: solid;
  border-width: 1px;
  padding : 10px 10px 10px 10px;
}

div.highlights
{
  background-color: #ffffff;
  border-style: solid;
  border-width: 1px;
  padding : 10px 10px 10px 10px;
	margin-top: 6pt;
}
div.example 
{
  background-color: #ffffff;
  border-style: solid;
  border-width: 1px;
  padding : 10px 10px 10px 10px;
	margin-top: 6pt;
}
span.token 
{
	color: #00aa00;
	font-weight: 600;
	
}