body { font-family: Trebuchet MS, Trebuchet, sans-serif; }

.sample { font-family: Times, Times New Roman, serif; }

.code { font-family: Courier New, Courier, sans-serif;
	font-size: small;
	}

.footer { font-family: arial, sans-serif;
	font-size: 9px;
	}

.red { color: #cc0000; }



.tip { color: #000033;
	font-size: 16px;
	font-weight: bold;
	}

.tip_box {
	float: right;
	position: relative;
	width: 150px;
	padding: 10px 10px 10px 10px;
	margin: 0 0 15px 25px;
	border: 1px solid #000066;
	background-color: #cccccc;
	}