manual.css 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
  1. /* Style-sheet to use for manuals (copied from Emacs) */
  2. @import url('style.css');
  3. /* makeinfo 6.5 converts @quotation to <blockquote>. Highlight them. */
  4. blockquote {
  5. font-style: normal;
  6. border-left: solid 10px red;
  7. padding-left: 2.5%;
  8. margin-left: 0px;
  9. }
  10. var { font-style: italic; }
  11. /* Lay out @lisp just like @example. Copied from what /style.css
  12. does for the 'example' class. */
  13. div.lisp { padding: .8em 1.2em .4em; }
  14. pre.lisp { padding: .8em 1.2em; }
  15. div.lisp, pre.lisp {
  16. margin: 1em 0 1em 3% ;
  17. -webkit-border-radius: .3em;
  18. -moz-border-radius: .3em;
  19. border-radius: .3em;
  20. border: 1px solid #d4cbb6;
  21. background-color: #f2efe4;
  22. }
  23. div.lisp > pre.lisp {
  24. padding: 0 0 .4em;
  25. margin: 0;
  26. border: none;
  27. }
  28. /* ----- coreutils specific styling ----- */
  29. /* layout.css indents "body p" when it should probably only indent "body > p"?
  30. In any case, disable indenting of p in these sub elements. */
  31. dd p,li p {
  32. margin-left: 0;
  33. margin-right: 0;
  34. }
  35. /* underlined links are distracting, especially within outlined tables. */
  36. a { /*add :link for external links*/
  37. text-decoration: none; /* don't underline links by default */
  38. outline-style: none; /* don't put dotted box around clicked links */
  39. }
  40. a:hover {
  41. text-decoration: underline;
  42. }
  43. /* The shadow around the body is distracting. */
  44. body { box-shadow: 0 0 0 0; }