header.css 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104
  1. /*
  2. Copyright 2005-2008 Redshift Software, Inc.
  3. Distributed under the Boost Software License, Version 1.0.
  4. (See accompanying file LICENSE_1_0.txt or http://www.boost.org/LICENSE_1_0.txt)
  5. */
  6. /* Heading, title and logo. */
  7. /* Position the common heading. This appears on pages which have their own
  8. * markup. Since the body might have a margin this has to be absolutely
  9. * positioned. The spacer then pushes the page content down so that it
  10. * doesn't fall underneath the heading. */
  11. #boost-common-heading-doc {
  12. position: absolute;
  13. left: 0;
  14. top: 0;
  15. }
  16. #boost-common-heading-doc-spacer {
  17. height: 100px;
  18. }
  19. #boost-common-heading-doc,
  20. #heading {
  21. margin: 0em;
  22. border-bottom: #000000 solid 1px;
  23. width: 100%;
  24. font-family: sans-serif;
  25. font-size: 9.5pt;
  26. }
  27. #boost-common-heading-doc .heading-inner,
  28. #heading .heading-inner {
  29. height: 100px;
  30. overflow: hidden;
  31. }
  32. #boost-common-heading-doc *,
  33. #heading * {
  34. font-size: 100%;
  35. font-weight: normal;
  36. margin: 0;
  37. padding: 0;
  38. text-decoration: none;
  39. }
  40. #boost-common-heading-doc .heading-placard,
  41. #heading .heading-placard {
  42. display: none;
  43. }
  44. #boost-common-heading-doc .heading-title .heading-boost,
  45. #boost-common-heading-doc .heading-title .heading-cpplibraries,
  46. #heading .heading-title .heading-boost,
  47. #heading .heading-title .heading-cpplibraries {
  48. display: none;
  49. }
  50. #boost-common-heading-doc .heading-title,
  51. #heading .heading-title {
  52. float: left;
  53. }
  54. #boost-common-heading-doc .heading-title a,
  55. #heading .heading-title a {
  56. }
  57. #boost-common-heading-doc .heading-logo,
  58. #heading .heading-logo {
  59. width: 270px;
  60. height: 90px;
  61. border: none;
  62. vertical-align: bottom;
  63. margin: 0px 0px 0px 1.5em;
  64. }
  65. #boost-common-heading-doc .heading-quote,
  66. #heading .heading-quote {
  67. text-align: right;
  68. padding: 25px 1.5em 10px 0em;
  69. }
  70. #boost-common-heading-doc .heading-quote q,
  71. #heading .heading-quote q {
  72. font-size: 90%;
  73. display: block;
  74. }
  75. #boost-common-heading-doc .heading-quote .heading-attribution,
  76. #heading .heading-quote .heading-attribution {
  77. font-size: 85%;
  78. display: block;
  79. }
  80. #boost-common-heading-doc .heading-sections,
  81. #heading .heading-sections {
  82. display: none;
  83. }
  84. #boost-common-heading-doc .heading-search,
  85. #heading .heading-search {
  86. display: none;
  87. text-align: right;
  88. padding: 0em 1.5em 0em 0em;
  89. }
  90. #boost-common-heading-doc .heading-search #search-text .q,
  91. #heading .heading-search #search-text .q {
  92. background: transparent;
  93. border: none;
  94. border-bottom: 1px #BBBBBB solid;
  95. margin-right: 0.25em;
  96. font-size: 90%;
  97. }
  98. #boost-common-heading-doc .heading-search #search-text #q:hover,
  99. #heading .heading-search #search-text #q:hover {
  100. border-bottom: 1px #FFFFFF solid;
  101. }