.ip { color: #FF00FF; }
.point01 { color: #003366; font-weight: bold; }
.point02 { color: #FF6600; font-weight: bold; }
.domain02 { color: #009900; }
.panel { background-color: #CCFFFF; }
.boxed { border-style: solid; border-width: 1px; }