2
0

docstyle.css 1.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576
  1. html, body {
  2. font-size: 1em;
  3. text-align: left;
  4. text-decoration: none;
  5. }
  6. html { background-color: #e7e7e7; }
  7. body {
  8. max-width: 74.92em;
  9. margin: 0 auto;
  10. padding: .5em 1em 1em 1em;
  11. background-color: white;
  12. border: .1em solid #c0c0c0;
  13. }
  14. h1, h2, h3, h4 { color: #333; }
  15. h5, h6, dt { color: #222; }
  16. a h3 {
  17. color: #005090;
  18. }
  19. a[href] { color: #005090; }
  20. a[href]:visited { color: #100070; }
  21. a[href]:active, a[href]:hover {
  22. color: #100070;
  23. text-decoration: none;
  24. }
  25. .linkrow {
  26. margin: 3em 0;
  27. }
  28. .linkrow {
  29. text-align: center;
  30. }
  31. div.example { padding: .8em 1.2em .4em; }
  32. pre.example { padding: .8em 1.2em; }
  33. div.example, pre.example {
  34. margin: 1em 0 1em 3% ;
  35. -webkit-border-radius: .3em;
  36. -moz-border-radius: .3em;
  37. border-radius: .3em;
  38. border: 1px solid #d4cbb6;
  39. background-color: #f2efe4;
  40. }
  41. div.example > pre.example {
  42. padding: 0 0 .4em;
  43. margin: 0;
  44. border: none;
  45. }
  46. /* This makes the very long tables of contents in Gnulib and other
  47. manuals easier to read. */
  48. .contents ul, .shortcontents ul { font-weight: bold; }
  49. .contents ul ul, .shortcontents ul ul { font-weight: normal; }
  50. .contents ul { list-style: none; }
  51. /* For colored navigation bars (Emacs manual): make the bar extend
  52. across the whole width of the page and give it a decent height. */
  53. .header, .node { margin: 0 -1em; padding: 0 1em; }
  54. .header p, .node p { line-height: 2em; }
  55. /* For navigation links */
  56. .node a, .header a { display: inline-block; line-height: 2em; }
  57. .node a:hover, .header a:hover { background: #f2efe4; }
  58. table.cartouche {
  59. border-collapse: collapse;
  60. border-color: darkred;
  61. border-style: solid;
  62. border-width: 3px;
  63. }