style.css 1.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. body { font-family:sans-serif;font-size:12pt;}
  2. body.cfn{background-color:black;color:lime}
  3. p {font-family:serif;}
  4. a {
  5. text-decoration:none;
  6. color:#e12323;
  7. font-size: large;
  8. }
  9. a:hover {
  10. text-decoration: underline darkblue;
  11. font-size: large;
  12. color: blueviolet;
  13. }
  14. ul { list-style:none;}
  15. hr { border:0; border-top:1px dotted #000;}
  16. pre {
  17. white-space: inherit;
  18. }
  19. .logo{float:left;max-width: 350px;
  20. margin: 1em;
  21. border: solid 1px grey;} body { max-width: 800px; left: 50%; position: relative; transform: translate(-50%,0%); }
  22. footer {text-align:center; font-size:0.7em; padding-top:30px;}
  23. .copyleft {transform:rotate(180deg); display:inline-block;}
  24. section>h3 {
  25. text-align: right;
  26. margin-right: 2rem;
  27. }
  28. section p:nth-child(2) {
  29. font-size: large;
  30. margin: auto 6rem;
  31. text-align: justify;
  32. }
  33. div.content_section_text pre {
  34. margin: 8px 0px 8px 0px;
  35. padding: 8px 8px 8px 8px;
  36. border-width: 1px;
  37. border-style: dotted;
  38. border-color: #000000;
  39. background-color: #F5F6F7;
  40. font-family: "Mono";
  41. }