/* style.css */
ul.kernel,ul.kernel ul{list-style-type:none;}ul.kernel li{font-family:monospace;}