2 My custom CSS style for Texinfo documents
3 Public domain 2016 sirgazil. All rights waived.
6 Original: http://bitbucket.org/sirgazil/texinfo-css
14 text-decoration: none
;
20 text-decoration: underline
;
36 background-color: white
;
37 box-shadow: 0 0 2px gray
;
38 box-sizing: border-box
;
42 font-family: "Verdana", Arial
, sans-serif
;
83 padding: 20px 0px 0px 0px;
105 background-color: silver
;
112 background-color: #F5F5F5;
126 font-family: monospace
;
133 background-color: #f5f5dc; // beige
144 border-collapse: collapse
;
154 background-color: inherit
;
160 border-color: silver
;
167 background-color: #F5F5F5;
169 /* END NATIVE ELEMENTS */
203 background-color: #F2F2F2;
221 .menu td:last-child {
226 background-color: inherit
;