synrc.css 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445
  1. A:link { color: blue; }
  2. A:visited { color: darkblue; }
  3. A:hover { color: blue; }
  4. .controls { display: none; visibility:hidden; }
  5. svg { display: block; margin: auto; }
  6. SUP { font-size:10pt; }
  7. BODY { font-size:14pt; font-family: "Exo 2",Calibri, Lucida Sans, "Lucida Grande"; }
  8. TD { font-family: margin: 0 auto; padding-right: 20px; }
  9. H1 { font-size:30pt; color: blue; font-weight: bold; font-size:30pt; margin-top:20px; margin-bottom:10px; margin-right:6px; }
  10. H2 { font-size:20pt; color: darkblue; margin-top:20px; margin-bottom:10px; margin-right:6px; }
  11. H3 { font-size:18pt; margin-top:20px; margin-bottom:10px; margin-right:6px; }
  12. P { display: none; visibility:hidden;font-size:14pt; margin-top: 0px; margin-bottom: 8px; }
  13. H3 P { font-size:16pt; margin-left: 70px; margin-top:20px; margin-bottom:10px; margin-right:6px; }
  14. B { font-size:14pt; background-color: lightblue; padding: 2px; }
  15. H2 B { font-size:16pt; background-color: lightblue; padding: 5px; margin-top: 20px; margin-bottom: 20px;}
  16. LI { font-size:14pt; }
  17. button { display: none; visibility:hidden;}
  18. label { display: none; visibility:hidden;}
  19. input { display: none; visibility:hidden;}
  20. select { display: none; visibility:hidden;}
  21. pre { font-size:10pt; font-family: Lucida Console; }
  22. .menu { font-size:14pt; font-family: Calibri, Lucida Sans Unicode; color: red; }
  23. .small_infoblock { font-family: Calibri, Lucida Sans Unicode; font-size:8pt; }
  24. .block { background-color: #EEEEEE; padding-top:6;padding-bottom:10;padding-right:10;padding-left:10;}
  25. .threecol { width:1300px; float:left; }
  26. .left { float:left; }
  27. .hints { width:59px;float:left;margin-right:6px; }
  28. .main { width:843px;float:left;margin-right:26px; margin-left: 50px; }
  29. .contents { font-size: 19pt; width:200px;float:left; }
  30. code { background-color: lightblue; margin: 15px 0px 20px 20px;
  31. padding: 15px 30px 20px 20px; display: inline-block;
  32. white-space: pre; }
  33. .numbox { padding-left:10px;padding-right:10px;padding-top:10px;padding-bottom:10px;background-color:black;color:white; }