.gdb_command
{
	position:relative;
}

.gdb_command h4
{
	margin-bottom:10px;
	margin-top:10px;
}

/* Use for keywords*/
.gdb_command b
{
	font-weight:bold;
}

/* Use for arguments, technical terms*/
.gdb_command i
{
	font-style:italic;
}

.gdb_command p,.gdb_command dl,.gdb_command div.syntax,.gdb_command div.code,.gdb_command li
{
	margin-left: 20px;
}

.see_also { float: left; }

.gdb_command  .see_also .comma { display: inline-block; margin-left: 0; }

@media screen and (max-width:900px) {
	.gdb_command li { padding: 5px 0; }
	.gdb_command  .see_also .comma { display: none; }
	.gdb_command  .see_also a  {
		float: left;
		clear: both;
		padding: 3% 0;
		margin-left: 20px;
	}
}

.gdb_command div.syntax
{
	background:#dddddd;
	padding:0em 0.5em;
	font: 100% Courier New, Courier, mono;
}

/* Definition list */

.gdb_command dt
{
	font-style:italic;
}

.gdb_command dd
{
	margin-left:2em;
}

/* Table */

.gdb_command table
{
	background: #999999;
	margin-top: .6em;
	margin-bottom: .3em;
}
		
.gdb_command th
{ 
	padding: 4px 8px;
	background: #cccccc;
	text-align: left;
	vertical-align: bottom;
}
		
.gdb_command td
{ 
	padding: 4px 8px;
	background: #ffffff;
	vertical-align: top;
}

.gdb_command div.support
{
	position:absolute;
	right:19px;
}

@media screen and (max-width: 900px) {
	.gdb_command div.support {
		position: static;
		float: left;
		width: 100%;
		display: block;
	}
}

.support_li
{
	position:relative;
	width:24px;
	height:24px;
	float:left;
	margin-left:3px;
}

.support_li span.tooltip{display:none;}
.support_li:hover span.tooltip
{
	display:block;
	background:#ffffff;
	border:thin #cccccc solid;
	position:absolute;
	left:12px;
	top:24px;
}

.gdb_command div.android_support
{
	background:url('img/android24.png');
	background-repeat:no-repeat;
}

.gdb_command div.embedded_support
{
	background:url('img/chip24.png');
	background-repeat:no-repeat;
}

.gdb_command div.windows_support
{
	background:url('img/windows24.png');
	background-repeat:no-repeat;
}

.gdb_command div.linux_support
{
	background:url('img/linux24.png');
	background-repeat:no-repeat;
}

.gdb_command div.android_nosupport
{
	background:url('img/android24disabled.png');
	background-repeat:no-repeat;
}

.gdb_command div.embedded_nosupport
{
	background:url('img/chip24disabled.png');
	background-repeat:no-repeat;
}

.gdb_command div.windows_nosupport
{
	background:url('img/windows24disabled.png');
	background-repeat:no-repeat;
}

.gdb_command div.linux_nosupport
{
	background:url('img/linux24disabled.png');
	background-repeat:no-repeat;
}