@charset "utf-8";
/* CSS Document */

#content li {margin:10px 0 0 20px};
#TJK_DL {margin:10px 220px 20px 20px};
#TJK_DL dt a {border:none};
/* no need to show these ones if there is no script support */
#TJK_ToggleON,#TJK_ToggleOFF {display:none};
/********************/
p.highlighter {border:1px inset #555;padding:9px};