2
0

style.css 4.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174
  1. /* This stylesheet is used by manuals and a few older resources. */
  2. @import url('reset.css');
  3. /*** PAGE LAYOUT ***/
  4. html, body {
  5. font-size: 1em;
  6. text-align: left;
  7. text-decoration: none;
  8. }
  9. html { background-color: #e7e7e7; }
  10. body {
  11. max-width: 74.92em;
  12. margin: 0 auto;
  13. padding: .5em 1em 1em 1em;
  14. background-color: white;
  15. border: .1em solid #c0c0c0;
  16. }
  17. /*** BASIC ELEMENTS ***/
  18. /* Size and positioning */
  19. p, pre, li, dt, dd, table, code, address { line-height: 1.3em; }
  20. h1 { font-size: 2em; margin: 1em 0 }
  21. h2 { font-size: 1.50em; margin: 1.0em 0 0.87em 0; }
  22. h3 { font-size: 1.30em; margin: 1.0em 0 0.87em 0; }
  23. h4 { font-size: 1.13em; margin: 1.0em 0 0.88em 0; }
  24. h5 { font-size: 1.00em; margin: 1.0em 0 1.00em 0; }
  25. p, pre { margin: 1em 0; }
  26. pre { overflow: auto; padding-bottom: .3em; }
  27. ul, ol, blockquote { margin-left: 1.5%; margin-right: 1.5%; }
  28. hr { margin: 1em 0; }
  29. /* Lists of underlined links are difficult to read. The top margin
  30. gives a little more spacing between entries. */
  31. ul li { margin: .5em 1em; }
  32. ol li { margin: 1em; }
  33. ol ul li { margin: .5em 1em; }
  34. ul li p, ul ul li { margin-top: .3em; margin-bottom: .3em; }
  35. ul ul, ol ul { margin-top: 0; margin-bottom: 0; }
  36. /* Separate description lists from preceding text */
  37. dl { margin: 1em 0 0 0; }
  38. /* separate the "term" from subsequent "description" */
  39. dt { margin: .5em 0; }
  40. /* separate the "description" from subsequent list item
  41. when the final <dd> child is an anonymous box */
  42. dd { margin: .5em 3% 1em 3%; }
  43. /* separate anonymous box (used to be the first element in <dd>)
  44. from subsequent <p> */
  45. dd p { margin: .5em 0; }
  46. table {
  47. display: block; overflow: auto;
  48. margin-top: 1.5em; margin-bottom: 1.5em;
  49. }
  50. th { padding: .3em .5em; text-align: center; }
  51. td { padding: .2em .5em; }
  52. address { margin-bottom: 1em; }
  53. caption { margin-bottom: .5em; text-align: center; }
  54. sup { vertical-align: super; }
  55. sub { vertical-align: sub; }
  56. /* Style */
  57. h1, h2, h3, h4, h5, h6, strong, dt, th { font-weight: bold; }
  58. /* The default color (black) is too dark for large text in
  59. bold font. */
  60. h1, h2, h3, h4 { color: #333; }
  61. h5, h6, dt { color: #222; }
  62. a[href] { color: #005090; }
  63. a[href]:visited { color: #100070; }
  64. a[href]:active, a[href]:hover {
  65. color: #100070;
  66. text-decoration: none;
  67. }
  68. h1 a[href]:visited, h2 a[href]:visited, h3 a[href]:visited,
  69. h4 a[href]:visited { color: #005090; }
  70. h1 a[href]:hover, h2 a[href]:hover, h3 a[href]:hover,
  71. h4 a[href]:hover { color: #100070; }
  72. ol { list-style: decimal outside;}
  73. ul { list-style: square outside; }
  74. ul ul, ol ul { list-style: circle; }
  75. li { list-style: inherit; }
  76. hr { background-color: #ede6d5; }
  77. table { border: 0; }
  78. abbr,acronym {
  79. border-bottom:1px dotted #000;
  80. text-decoration: none;
  81. cursor:help;
  82. }
  83. del { text-decoration: line-through; }
  84. em { font-style: italic; }
  85. small { font-size: .9em; }
  86. img { max-width: 100%}
  87. /*** SIMPLE CLASSES ***/
  88. .center, .c { text-align: center; }
  89. .nocenter{ text-align: left; }
  90. .underline { text-decoration: underline; }
  91. .nounderline { text-decoration: none; }
  92. .no-bullet { list-style: none; }
  93. .inline-list li { display: inline }
  94. .netscape4, .no-display { display: none; }
  95. /*** MANUAL PAGES ***/
  96. /* This makes the very long tables of contents in Gnulib and other
  97. manuals easier to read. */
  98. .contents ul, .shortcontents ul { font-weight: bold; }
  99. .contents ul ul, .shortcontents ul ul { font-weight: normal; }
  100. .contents ul { list-style: none; }
  101. /* For colored navigation bars (Emacs manual): make the bar extend
  102. across the whole width of the page and give it a decent height. */
  103. .header, .node { margin: 0 -1em; padding: 0 1em; }
  104. .header p, .node p { line-height: 2em; }
  105. /* For navigation links */
  106. .node a, .header a { display: inline-block; line-height: 2em; }
  107. .node a:hover, .header a:hover { background: #f2efe4; }
  108. /* Inserts */
  109. table.cartouche td { padding: 1.5em; }
  110. div.display, div.lisp, div.smalldisplay,
  111. div.smallexample, div.smalllisp { margin-left: 3%; }
  112. div.example { padding: .8em 1.2em .4em; }
  113. pre.example { padding: .8em 1.2em; }
  114. div.example, pre.example {
  115. margin: 1em 0 1em 3% ;
  116. -webkit-border-radius: .3em;
  117. -moz-border-radius: .3em;
  118. border-radius: .3em;
  119. border: 1px solid #d4cbb6;
  120. background-color: #f2efe4;
  121. }
  122. div.example > pre.example {
  123. padding: 0 0 .4em;
  124. margin: 0;
  125. border: none;
  126. }
  127. pre.menu-comment { padding-top: 1.3em; margin: 0; }
  128. /*** FOR WIDE SCREENS ***/
  129. @media (min-width: 40em) {
  130. body { padding: .5em 3em 1em 3em; }
  131. div.header, div.node { margin: 0 -3em; padding: 0 3em; }
  132. }