aptsec.css 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374
  1. body {
  2. font-family: Verdana, Arial, Sans-Serif;
  3. background: #F0F0F6;
  4. line-height:1.1em;
  5. min-width: 1000px;
  6. font-size: 90%;
  7. }
  8. a:link { text-decoration:none; font-weight:bold; color:#900000; }
  9. a:visited { text-decoration:none; font-weight:bold; color:#900000; }
  10. a:hover { text-decoration:none; font-weight:bold; color:#900000; }
  11. a:active { text-decoration:none; font-weight:bold; color:#900000; }
  12. a:focus { text-decoration:none; font-weight:bold; color:#900000; }
  13. div.footer {
  14. position:fixed;
  15. width: 100%;
  16. bottom: 0px;
  17. font-size: 90%;
  18. background: #efefef;
  19. text-align: center;
  20. padding: 10px;
  21. }
  22. div.output {
  23. float: left;
  24. font-size: 90%;
  25. max-width: 900px;
  26. min-width: 300px;
  27. margin-left: 2em;
  28. margin-top: 1.5em;
  29. margin-bottom: 5em;
  30. padding: 1em;
  31. background-color: white;
  32. border: dotted 1px;
  33. border-color: grey;
  34. white-space: pre;
  35. font-family: monospace;
  36. }
  37. div.padding {
  38. clear: left;
  39. float: left;
  40. width: 100%;
  41. }
  42. div.navi ul {
  43. font-family: Arial, Sans-Serif;
  44. list-style-type: none;
  45. font-size: 120%;
  46. font-weight: bold;
  47. line-height: 1.5em;
  48. }
  49. div.navi li {
  50. padding: 0.5em 0.5em 0.5em 0.5em;
  51. margin-bottom: 1em;
  52. background-color: white;
  53. background-color: #D0D0D0;
  54. border: dotted 1px;
  55. border-color: grey;
  56. }
  57. div.navi li:hover {
  58. background-color: #E0E0E0;
  59. }
  60. div.navi {
  61. float: left;
  62. width: 200px;
  63. }