/*
 * Reference settings
 */
body
{
  background-color:	#ffffff;
  margin:		0px;
  padding:		0px;
  font-family:		serif;
}

body a
{
  color:		Blue;
  text-decoration:	none;
  border:		1px solid transparent;
}

body a:hover
{
  border:		1px solid black;
  background-color:	Gainsboro;
}

img
{
  vertical-align:	middle;
  border:		none;
}



/*
 * Big heading settings
 */
div.logo
{
  padding-left:		1.0em;
  padding-right:	1.0em;

  text-align:		center;
  background-color:	Khaki;
  padding-bottom:	1em;
  padding-top:		1em;
  border-bottom:	3px solid black;
  border-top:		3px solid black;
}



/*
 * Menubar settings
 */
div.menu
{
  padding-left:		1.0em;
  padding-right:	1.0em;

  text-align:		left;
  background-color:	Beige;
  border-bottom:	2px solid black;
}

div.menu div
{
  font-style:		normal;
  font-variant:		normal;
  font-weight:		normal;
  line-height:		normal;
}

div.menu div a
{
  font-weight:		normal;
  text-decoration:	none;
  padding-left:		0.5em;
  padding-right:	0.5em;
}

div.menu div a:hover
{
  background-color:	Silver;
}



/*
 * Footer settings
 */
div.footer
{
  padding-left:		1.0em;
  padding-right:	1.0em;
  padding-top:		0.5em;

  text-align:		left;
  background-color:	Beige;

  border-bottom:	2px solid black;
  border-top:		2px solid black;
}

div.footer div
{
  height:		66px;
}

div.footer div div.hosting
{
  display:		block;
  float:		right;
}

div.footer div div.osi
{
  display:		block;
  float:		left;
}

div.footer a
{
  border:		none;
  background:		Transparent;
}

div.footer a:hover
{
  border:		none;
  background:		Transparent;
}

div.footer a img
{
  border:		1px Transparent;
  background:		Transparent;
}

div.footer a:hover img
{
  border:		1px solid Black;
  background:		Silver;
}



/*
 * Body settings
 */
div.body
{
  padding-left:		1.0em;
  padding-right:	1.0em;
  padding-bottom:	1.0em;

  background-color:	gold;
  margin:		0px;
  background-color:	ivory;
}

div.body h1
{
  margin:		0pt;
  padding-top:		1.0em;
  padding-bottom:	0.5em;

  font-size:		144%;
}

div.body h2
{
  margin:		0.0 pt;
  padding-top:		0.5 em;
  padding-bottom:	0.5 em;

  font-size:		120%;
}

div.body p
{
  margin:		0.0em;
  padding:		0.0em;
  padding-bottom:	0.5em;
}



/*
 * Plain list
 */
ul.plain
{
  margin:		0.0em;
  margin-left:		1.0em;
  padding:		0.0em;
  padding-bottom:	0.5em;
}

ul.plain li
{
  margin-left:		1.0em;
  display:		list-item;
  list-style-type:	circle;
}



/*
 * TODO list
 */
ul.todo
{
  margin:		0.0em;
  margin-left:		1.0em;
  padding:		0.0em;
  padding-bottom:	0.5em;
}

ul.todo li
{
  margin-left:		1.0em;
  display:		list-item;
  list-style-type:	square;
}



/*
 * Commandline list - used for shell commands
 */
ul.cmdline
{
  margin:		0.0em;
  padding:		0.5em;
  padding-bottom:	0.5em;

  font-family:		Monospace;
  background-color:	LightGrey;
  border:		1px solid black;
}

ul.cmdline li
{
  display:		list-item;
  list-style-type:	none;
}

ul.cmdline li:before
{
  display:		marker;
  content:		"$ ";
}

ul.cmdline li.root:before
{
  display:		marker;
  content:		"# ";
}



/*
 * Authors list, Links list
 */
dl.authors,
dl.links
{
  margin:		0.0em;
  padding:		0.0em;
  padding-bottom:	0.5em;
}

dl.authors dt,
dl.links dt
{
  font-weight:		bold;
  padding-top:		0.5em;
}

dl.authors dt:after,
dl.links dt:after
{
  content:		":";
}

dl.authors dd.contact,
dl.links dd.contact
{
  font-family:		Monospace;
}

dl.authors dd.role
{
}

dl.links dd.comment
{
}



/*
 * Table of screenshots
 */
table.sshots
{
  width:		100%;
}

table.sshots td
{
  text-align:		center;
}
