static/style.css

   1 @import url(http://fonts.googleapis.com/css?family=Source+Code+Pro);
   2
   3 html { sans-serif; font-size: 12pt; }
   4
   5 body {
   6   background-color: #008000;
   7 }
   8
   9 #content {
  10   background-color: #FFFFFF;
  11   padding: 3%;
  12   margin: auto;
  13   margin-bottom: 30px;
  14   text-align: left;
  15   width: 80%
  16   -moz-box-shadow: 0 0 5px 5px #006000;
  17   -webkit-box-shadow: 0 0 5px 5px #006000;
  18   box-shadow: 0 0 5px 5px #006000;
  19 }
  20
  21 #emacs_screenshot {
  22   width: 696px;
  23   height: 650px;
  24 }
  25
  26 .screenshot {
  27   -moz-border-radius: 5px;
  28   border-radius: 5px;
  29   -moz-box-shadow: 5px 5px 5px black;
  30   -webkit-box-shadow: 5px 5px 5px black;
  31   box-shadow: 5px 5px 5px black;
  32 }
  33
  34 p {
  35   font-family: sans-serif;
  36 }
  37
  38 li {
  39   font-family: sans-serif;
  40 }
  41
  42 .title {
  43   font-family: sans-serif;
  44 }
  45
  46 .outline-2 {
  47   font-family: sans-serif;
  48 }
  49
  50 .outline-3 {
  51   font-family: sans-serif;
  52 }
  53
  54 a:link {
  55   color: #0000ee;
  56   text-decoration: none;
  57 }
  58
  59 a:hover {
  60   color: #0000ee;
  61   text-decoration: underline;
  62 }
  63
  64 a:visited {
  65   color: #800000;
  66 }
  67
  68 a:active{
  69   color: #008000;
  70 }
  71
  72 #postamble {
  73   text-align: center;
  74   color: #000000;
  75   background-color: #aaffaa;
  76   -moz-box-shadow: 0 0 5px 5px #006000;
  77   -webkit-box-shadow: 0 0 5px 5px #006000;
  78   box-shadow: 0 0 5px 5px #006000;
  79 }
  80
  81 .example {
  82   font-family: 'Source Code Pro', sans-serif;
  83 }
  84
  85 #postamble {
  86   padding-top: 20px;
  87   padding-bottom: 20px;
  88   font-size: small;
  89 }
  90
  91 #org-div-home-and-up {
  92   font-size: large;
  93 }
  94
  95 #org-div-home-and-up a:link {
  96   color: #ffffff;
  97 }
  98
  99 #org-div-home-and-up a:visited {
 100   color: #ffffff;
 101 }
 102
 103 @media (min-width: 700px), handheld
 104 {
 105     #content {
 106         width: 90%;
 107     }
 108 }