1/* Minimalistic stylesheet for DocBook and TexInfo documents. 2 Some elements are borrowed from the CodeSourcery web site style sheets, 3 but this is optimized for documents that are mostly text and that 4 lack menu bars and the like. */ 5 6 7/*********** 8 Body style 9***********/ 10 11body { 12 font-family: Verdana, Arial, Helvetica, sans-serif; 13 font-weight: normal; 14 font-size: 100%; 15 background-color: #ffffff; 16} 17 18 19/********* 20 Headings 21*********/ 22 23h1, h2, h3, h4 { 24 font-family: Verdana, Arial, Helvetica, sans-serif; 25 font-weight: bold; 26} 27 28h1 { 29 color: #111111; 30} 31 32h2 { 33 color: #222222; 34} 35 36h3, h4 { 37 color: #333333; 38} 39 40/*********** 41 Hyperlinks 42***********/ 43 44a:link, a:visited { 45 color: #3333cc; 46 text-decoration: none; 47} 48 49a:link:hover, a:visited:hover { 50 text-decoration: underline; 51} 52 53 54/*********** 55 Markup for specific elements 56***********/ 57 58/* Use Courier for all code and samp environments. */ 59code, samp { 60 font-family: "Courier New", Courier, mono; 61 font-size: 100%; 62} 63 64/* Texinfo uses @r for "normal body font", but it comes out in the markup 65 as a span with the "roman" attribute. */ 66span.roman { 67 font-family: Verdana, Arial, Helvetica, sans-serif; 68 font-size: 100%; 69} 70 71/* Smallmono pre environment has small font, a plain background and no border */ 72pre.smallmono { 73 font-family: "Courier New", Courier, mono; 74 font-size: smaller; 75 border: 0px; 76 background-color: #ffffff; 77 margin: 0px; 78 padding: 0px; 79} 80 81/* Format all other pre environments with shaded boxes. */ 82pre { 83 font-family: "Courier New", Courier, mono; 84 border: 1px solid #cccccc; 85 background-color: #eeeeee; 86 margin: 20px; 87 padding: 10px; 88} 89 90/* Make horizontal rules a pretty blue color. */ 91 92hr { 93 background-color: #6699cc; 94 color: #6699cc; 95 height: 3px; 96 border: 0; 97} 98 99/* Center titles on examples and figures, since the objects are also 100 centered. */ 101 102div.example p.title, div.figure p.title { 103 text-align: center; 104} 105 106div.segmentedlist table 107{ 108 margin-left:4%; 109 margin-right:4%; 110 width:92%; 111 empty-cells: show; 112} 113div.segmentedlist table tr th { background-color: #f0f0f0;} 114div.segmentedlist table tr th, 115div.segmentedlist table tr td 116{ 117border: 1px solid #dcdcdc; 118} 119