primer.css 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103
  1. /* define a class "noprint" for sections which don't get printed */
  2. .noprint { display: none; }
  3. /* our syntax menu for switching */
  4. div.syntaxmenu {
  5. border: 1px dotted black;
  6. padding:0.5em;
  7. margin: 1em;
  8. }
  9. .container {
  10. margin-right: auto;
  11. margin-left: auto;
  12. padding-left: 15px;
  13. padding-right: 15px;
  14. }
  15. @media print {
  16. div.syntaxmenu { display:none; }
  17. }
  18. /* use tab-like headers for syntax examples */
  19. div.exampleheader {
  20. font-size: 90%;
  21. float: left;
  22. background: #F9F9F9;
  23. color: #2F6FAB;
  24. border: 1px dashed #2F6FAB;
  25. border-bottom: 0px;
  26. padding-top: 2px;
  27. }
  28. div.exampleheader span.exampleheader {
  29. background: #F9F9F9;
  30. padding-top: 0px;
  31. padding-right: 10px;
  32. padding-left: 10px;
  33. padding-bottom: 3px;
  34. padding-top: 0px;
  35. }
  36. /* Also copy MediaWiki style here, so it will not look different when exported */
  37. div.fssyntax pre, div.rdfxml pre, div.owlxml pre, div.turtle pre, div.manchester pre {
  38. background-color: #F9F9F9;
  39. border: 1px dashed #2F6FAB;
  40. color: black;
  41. line-height: 1.1em;
  42. padding: 1em;
  43. clear: both;
  44. margin-left: 0em;
  45. }
  46. /* Expansion to add the status*/
  47. .status {
  48. position: fixed;
  49. left: 0em;
  50. top: 0em;
  51. text-align: right;
  52. vertical-align: middle;
  53. /* Square version of the inside span. Slightly larger */
  54. width: 26em;
  55. height: 26em;
  56. z-index: -1;
  57. opacity: 0.8;
  58. /** From http://stackoverflow.com/questions/1080792/how-to-draw-vertical-text-with-css-cross-browser */
  59. -webkit-transform: rotate(-90deg);
  60. -moz-transform: rotate(-90deg);
  61. -ms-transform: rotate(-90deg);
  62. -o-transform: rotate(-90deg);
  63. transform: rotate(-90deg);
  64. /* also accepts left, right, top, bottom coordinates; not
  65. * required, but a good idea for styling */
  66. -webkit-transform-origin: 50% 50%;
  67. -moz-transform-origin: 50% 50%;
  68. -ms-transform-origin: 50% 50%;
  69. -o-transform-origin: 50% 50%;
  70. transform-origin: 50% 50%;
  71. /* Should be unset in IE9+ I think. */
  72. filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=3);
  73. }
  74. /* The actual status box */
  75. .status div {
  76. display: block;
  77. background: rgb(0, 90, 156);
  78. color: white;
  79. width: 24em;
  80. padding-top: 0.3em;
  81. padding-left: 0em;
  82. padding-right: 5em;
  83. padding-bottom: 0.3em;
  84. /* Enable for debugging
  85. border: red thin solid;
  86. */
  87. }
  88. /* And text inside, don't confuse fonts as it breaks em above */
  89. .status div span {
  90. font-family: "Tauri";
  91. font-size: larger;
  92. }