root/css/style.css

   1 /* General site-wide layout */
   2 body {
   3     margin: 0;
   4     font: 1em "Open Sans", Arial, Helvetica, sans-serif;
   5     font-size: 85%;
   6     background: #EDF1FA;
   7     color: #444;
   8 }
   9 .clearfix:after {
  10         content: "\00A0";
  11         display: block;
  12         clear: both;
  13         visibility: hidden;
  14         line-height: 0;
  15         height: 0;
  16 }
  17 .clearfix{
  18         display: inline-block;
  19 }
  20 html[xmlns] .clearfix {
  21         display: block;
  22 }
  23 * html .clearfix{
  24         height: 1%;
  25 }
  26 .clearfix {
  27         display: block
  28 }
  29
  30 h1 {
  31     border-bottom: 1px solid #488dd2;
  32     color: #488dd2;
  33     font-size: 18pt;
  34 }
  35 h2 {
  36     margin-top: 10px;
  37     color: #488dd2;
  38     font-size: 18px;
  39 }
  40 h3 {
  41         color: #488dd2;
  42         font-size: 14px;
  43         font-style: italic;
  44 }
  45
  46 div.button {
  47   background: transparent url('../images/b_button_a.png') no-repeat scroll top right;
  48   color: #fff;
  49   display: block;
  50   float: left;
  51   font: normal 12px Times, Times New Roman, Serif; /* arial, sans-serif; */
  52   height: 24px;
  53   margin-right: 6px;
  54   padding-right: 18px; /* sliding doors padding */
  55   text-decoration: none;
  56 }
  57 div.button.reset {
  58   background: transparent url('../images/c_button_a.png') no-repeat scroll top right;
  59 }
  60 div.button span {
  61   background: transparent url('../images/b_button_span.png') no-repeat;
  62   display: block;
  63   line-height: 14px;
  64   padding: 5px 0 5px 18px;
  65 }
  66 div.button.reset span {
  67   background: transparent url('../images/c_button_span.png') no-repeat;
  68 }
  69 div.button:hover {
  70   background-position: bottom right;
  71   color: #444;
  72   outline: none; /* hide dotted outline in Firefox */
  73 }
  74 div.button:hover span {
  75   background-position: bottom left;
  76 }
  77 #stemma_pager_buttons {
  78     height: 28px;
  79 }
  80 div.pager_left_button {
  81   width: 28px;
  82   height: 28px;
  83   float: left;
  84   background: transparent url('../images/button_left_28.png') no-repeat left bottom;
  85 }
  86 div.pager_left_button:hover {
  87     background: transparent url('../images/button_left_28.png') no-repeat center bottom;
  88 }
  89 div.pager_right_button:hover {
  90     background: transparent url('../images/button_right_28.png') no-repeat center bottom;
  91 }
  92 div.pager_right_button {
  93   width: 28px;
  94   height: 28px;
  95   float: left;
  96   margin-left: 10px;
  97   background: transparent url('../images/button_right_28.png') no-repeat left bottom;
  98 }
  99 div.pager_right_button.greyed_out, div.pager_right_button.greyed_out:hover {
 100     opacity: 0.5;
 101     background: url("../images/button_right_28.png") no-repeat scroll right bottom transparent;
 102 }
 103 div.pager_left_button.greyed_out, div.pager_left_button.greyed_out:hover {
 104     opacity: 0.5;
 105     background: url("../images/button_left_28.png") no-repeat scroll right bottom transparent;
 106 }
 107 #main_page {
 108     background: transparent url('../images/logo_001.png') no-repeat scroll -200px -100px;
 109     background-size: 600px;
 110     background-color: #ffffff;
 111     box-shadow: 0 3px 10px rgba(100, 100, 100, 0.3);
 112     width: 1124px;
 113     padding-bottom: 30px;
 114         margin: 48px auto 48px;
 115 }
 116 #topbanner {
 117         padding: 30px;
 118 }
 119 #bannerinfo {
 120         float: right;
 121         margin-right: 12%;
 122         margin-top: 15px;
 123 }
 124 #docco {
 125         padding: 30px;
 126 }
 127 .mainnav {
 128         font-size: 14px;
 129         font-weight: 100;
 130         background-color: #488dd2;
 131         color: #ffffff;
 132         padding: 5px;
 133         float: right;
 134 }
 135 .navlink {
 136         color: #ffffff;
 137         text-decoration: underline;
 138 }
 139 .error {
 140     font-weight: bold;
 141     color: #ff3333;
 142 }
 143 .warning {
 144         font-weight: bold;
 145         color: #ff8000;
 146 }
 147 .notification {
 148         font-weight: bold;
 149         color: #33ff33;
 150 }