4 

     5 .term,.file {

     6 	background: #EFEFEF;

     7 	color: gray;

     8 	padding: 5px;

     9 	border: 1px solid #808080;

    10 }

    11 

    12 .term,.file a {

    13 	color: gray;

    14 }

    15 

    16 .term,.file a:hover {

    17 	color: black;

    18 }

    19 

    20 .pkg,.path {

    21 	font-family: monospace;

    22 	background: #EFEFEF;

    23 }