@charset "utf-8";
/* Common CSS for the help system. No colors are defined. */

body {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 20px; /*20px;*/
	line-height: 1.2; /*24px;*/
}

hr {
	border: none;
	height: 1px;
}

body ul {
	list-style-type: square;
	line-height: 1.5;
}

.table {
	border-width: 1px;
	border-style: solid;
	border-collapse: collapse;
}

td, th {
	border-width: 1px;
	border-style: solid;
	padding: 5px;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 20px;
	line-height: 20px;
}

a {
	text-decoration: underline;
}

.productname {
	font-weight:bolder;
	font-style:italic;
}

.controlname {
	font-weight: bolder;
}

.emphasize {
	font-style:italic;
}

.citation {
	font-style:italic;
	font-size: 16px;
}

.platform {
	/*font-family: "Times New Roman", Times, serif;*/
	/*font-family: Verdana, Geneva, sans-serif;*/
	font-size: 18px; /*20px;*/
	line-height: 1.0; /*24px;*/
}

.buttonlike {
  font-weight: bold;
  background-color: #cccccc;
  color: #333333;
  padding: 4px 6px 4px 6px;
  border-top: 1px solid #C0C0C0;
  border-right: 1px solid #A0A0A0;
  border-bottom: 1px solid #A0A0A0;
  border-left: 1px solid #C0C0C0;
  text-align: center;	
  text-decoration: none;
  display: inline-block;
}

/*
.buttonlike a:hover {
  background-color: rgba(192, 192, 192, 0.5);
}
*/