useit.css 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273
  1. body {
  2. font-family: Verdana, Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
  3. background: white;
  4. color: black;
  5. }
  6. code {
  7. font-family: "Courier New", Courier, Monaco, monospace;
  8. }
  9. pre {
  10. font-family: "Courier New", Courier, Monaco, monospace;
  11. }
  12. hr {
  13. color: gray;
  14. }
  15. div.footer span.gotobar, div.footer span.gotobar + br {
  16. display:none;
  17. }
  18. span.gotobar {
  19. font-size: small;
  20. display: block;
  21. background: #FFFF66;
  22. font-family: Verdana, Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
  23. background: #FFFF66;
  24. border-style: none none solid none;
  25. border-width: thin;
  26. margin: 0;
  27. padding: 0.7ex;
  28. top: 1ex;
  29. left: 1ex;
  30. }
  31. span.gotobar a:first-child {
  32. font-weight:bold;
  33. }
  34. span.gotobar a:first-child:visited {
  35. color:blue;
  36. }
  37. img.logo {
  38. max-height: 3ex;
  39. max-width: 3ex;
  40. border: 0;
  41. float: right;
  42. margin: 0.2ex;
  43. }
  44. div.footer form {
  45. position:absolute;
  46. top: 1.6ex;
  47. right: 6ex;
  48. font-size: smaller;
  49. }
  50. div.footer form input[name=lang] {
  51. max-width: 2em;
  52. }
  53. table.densetable {
  54. font-size: 80%;
  55. }
  56. h1, h2, h3, h4, h5, h6 {
  57. font-family: Verdana, Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
  58. text-decoration: underline;
  59. }
  60. h1 a {
  61. color: black;
  62. }
  63. h4 {
  64. margin-bottom: 0.5em;
  65. }
  66. h5, h6 {
  67. margin-bottom: 0.2em;
  68. }
  69. a.definition {
  70. color: black;
  71. font-weight: bold;
  72. }