src/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: 15px;
  12   margin: auto;
  13   margin-bottom: 30px;
  14   text-align: left;
  15   width: 1000px;
  16   min-width: 1000px;
  17   -moz-box-shadow: 0 0 5px 5px #006000;
  18   -webkit-box-shadow: 0 0 5px 5px #006000;
  19   box-shadow: 0 0 5px 5px #006000;
  20 }
  21
  22 #emacs_screenshot {
  23   width: 696px;
  24   height: 650px;
  25 }
  26
  27 .screenshot {
  28   -moz-border-radius: 5px;
  29   border-radius: 5px;
  30   -moz-box-shadow: 5px 5px 5px black;
  31   -webkit-box-shadow: 5px 5px 5px black;
  32   box-shadow: 5px 5px 5px black;
  33 }
  34
  35 p {
  36   font-family: sans-serif;
  37 }
  38
  39 li {
  40   font-family: sans-serif;
  41 }
  42
  43 .title {
  44   font-family: sans-serif;
  45 }
  46
  47 .outline-2 {
  48   font-family: sans-serif;
  49 }
  50
  51 .outline-3 {
  52   font-family: sans-serif;
  53 }
  54
  55 a:link {
  56   color: #0000ee;
  57   text-decoration: none;
  58 }
  59
  60 a:hover {
  61   color: #0000ee;
  62   text-decoration: underline;
  63 }
  64
  65 a:visited {
  66   color: #800000;
  67 }
  68
  69 a:active{
  70   color: #008000;
  71 }
  72
  73 #postamble {
  74   text-align: center;
  75   color: #000000;
  76   background-color: #aaffaa;
  77   -moz-box-shadow: 0 0 5px 5px #006000;
  78   -webkit-box-shadow: 0 0 5px 5px #006000;
  79   box-shadow: 0 0 5px 5px #006000;
  80 }
  81
  82 .example {
  83   font-family: 'Source Code Pro', sans-serif;
  84 }
  85
  86 #postamble {
  87   padding-top: 20px;
  88   padding-bottom: 20px;
  89   font-size: small;
  90 }
  91
  92 #org-div-home-and-up {
  93   font-size: large;
  94 }
  95
  96 #org-div-home-and-up a:link {
  97   color: #ffffff;
  98 }
  99
 100 #org-div-home-and-up a:visited {
 101   color: #ffffff;
 102 }