nm.css 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122
  1. /*
  2. * Add tweaks specific to your site. Try to keep this as small as possible and
  3. * do not override default settings unless absolutely necessary. Small changes
  4. * will in time accumulate and result in the sites diverging. Consistency
  5. * across sites is important and this includes details.
  6. */
  7. @import url("debian.css");
  8. div.personbio {
  9. cursor: pointer
  10. }
  11. div.personbio .expanded {
  12. display: none;
  13. }
  14. div.personbio .collapsed:hover .expander {
  15. color: #0035c7;
  16. }
  17. /* expanded version of short bio is initially hidden */
  18. table.personinfo td.personbio#expandedbio {
  19. white-space: pre-line;
  20. display: none;
  21. }
  22. /* JQuery tablesorter common layout */
  23. table.tablesorter th {
  24. cursor: pointer
  25. }
  26. table.tablesorter tr.clickable {
  27. cursor: pointer
  28. }
  29. table.tablesorter#mailstable tr.showable {
  30. display: none
  31. }
  32. table.tablesorter th.headerSortUp {
  33. }
  34. table.tablesorter th.headerSortUp:after {
  35. content: "▲";
  36. }
  37. table.tablesorter th.headerSortDown {
  38. }
  39. table.tablesorter th.headerSortDown:after {
  40. content: "▼";
  41. }
  42. table.proctable {
  43. margin-top: 1em;
  44. margin-bottom: 1em;
  45. }
  46. form.inline {
  47. display: inline;
  48. }
  49. ul.packed {
  50. margin-top: 0;
  51. margin-bottom: 0;
  52. }
  53. ul.horizontal {
  54. list-style-type: none;
  55. }
  56. ul.horizontal li {
  57. display: inline;
  58. }
  59. ul.menubar {
  60. list-style-type: none;
  61. margin: auto;
  62. margin-bottom: 1em;
  63. }
  64. ul.menubar li {
  65. display: inline;
  66. padding: 1em;
  67. }
  68. ul.menubar li a {
  69. text-decoration: none;
  70. font-weight: bold;
  71. }
  72. span.fpr {
  73. white-space: pre;
  74. font-family: monospace;
  75. }
  76. #checklist {
  77. float: right;
  78. clear: right;
  79. font-size: small;
  80. width: 33%;
  81. }
  82. #langselector button {
  83. border: none;
  84. background: inherit;
  85. font-size: inherit;
  86. font-weight: inherit;
  87. text-decoration: underline;
  88. color: blue;
  89. cursor: pointer;
  90. color: #0035c7;
  91. text-decoration: underline;
  92. margin: 0;
  93. padding: 0;
  94. display: inline;
  95. }
  96. #langselector button:hover {
  97. text-decoration: none;
  98. color: #00207a;
  99. }
  100. #langselector button.current {
  101. color: #54638c;
  102. }
  103. #langselector button.current:hover {
  104. text-decoration: none;
  105. }