/docs/style.css
CSS | 33 lines | 23 code | 6 blank | 4 comment | 0 complexity | 49cafc345c130a030becdb6ea57b3089 MD5 | raw file
1* { 2 line-height: 150%; 3/* font-size: 12pt;*/ 4 border-style:none; 5 font-family: verdana, helvetica; 6/* margin: 1em; */ 7} 8 9/* Links */ 10a:link {color: red; text-decoration:none} /* unvisited link */ 11a:visited {color: red; text-decoration:none} /* visited link */ 12a:hover {color: blue; background: yellow; text-decoration:none} /* mouse over link */ 13a:active {color: grey} /* selected link */ 14 15p,pre { 16 line-height: 1.5em 17} 18 19h1 { 20 background-color: #223322; 21 Color: white; 22 padding: 5px; 23 padding-left: 20px; 24 margin-left: -20px; 25 margin-right: -20px; 26/* font-size: 15pt;*/ 27} 28 29 30pre {font-family: Monaco, Courier New, Courier; font-size:80%} 31code {font-family: Monaco, Courier New, Courier; font-size:80%} 32 33p code {margin: 5px}