diapositives/Slidy/w3c-blue.css
changeset 252 d3a405d0742f
equal deleted inserted replaced
251:4aa28098b2c2 252:d3a405d0742f
       
     1 /* w3c-blue.css
       
     2 
       
     3    Copyright (c) 2005 W3C (MIT, ERCIM, Keio), All Rights Reserved.
       
     4    W3C liability, trademark, document use and software licensing
       
     5    rules apply, see:
       
     6 
       
     7    http://www.w3.org/Consortium/Legal/copyright-documents
       
     8    http://www.w3.org/Consortium/Legal/copyright-software
       
     9 */
       
    10 body
       
    11 {
       
    12   margin: 0 0 0 0;
       
    13   padding: 0 0 0 0;
       
    14   width: 100%;
       
    15   height: 100%;
       
    16   color: black;
       
    17   background-color: white;
       
    18   font-family: "Gill Sans MT", "Gill Sans", GillSans, sans-serif;
       
    19   font-size: 14pt;
       
    20 }
       
    21 
       
    22 div.toolbar {
       
    23   position: fixed; z-index: 200;
       
    24   top: auto; bottom: 0; left: 0; right: 0;
       
    25   height: 1.2em; text-align: right;
       
    26   padding-left: 1em;
       
    27   padding-right: 1em; 
       
    28   font-size: 60%;
       
    29   color: red; background: rgb(240,240,240);
       
    30 }
       
    31 
       
    32 div.background {
       
    33   display: none;
       
    34 }
       
    35 
       
    36 div.handout {
       
    37   margin-left: 20px;
       
    38   margin-right: 20px;
       
    39 }
       
    40 
       
    41 div.slide.titlepage {
       
    42   text-align: center;
       
    43 }
       
    44 
       
    45 div.slide.titlepage.h1 {
       
    46   padding-top: 40%;
       
    47 }
       
    48 
       
    49 div.slide {
       
    50   z-index: 20;
       
    51   margin: 0 0 0 0;
       
    52   padding: 0;
       
    53   border-width: 0;
       
    54   top: 0;
       
    55   bottom: 0;
       
    56   left: 0;
       
    57   right: 0;
       
    58   line-height: 120%;
       
    59   background-color: transparent;
       
    60 }
       
    61 
       
    62 div.background {
       
    63   z-index: 1;
       
    64   position: absolute;
       
    65   vertical-align: bottom;
       
    66   left: 0;
       
    67   right: 0;
       
    68   top: 0;
       
    69   bottom: auto;
       
    70   height: 4em;
       
    71   padding: 0 0 0 0.2em;
       
    72   margin: 0 0 0 0;
       
    73   border-width: 0;
       
    74   background-color: #90A7D0;
       
    75 }
       
    76 
       
    77 div.background img {
       
    78   height: 4em;
       
    79 }
       
    80 
       
    81 /* this rule is hidden from IE which doesn't support + selector */
       
    82 div.slide + div[class].slide { page-break-before: always;}
       
    83 
       
    84 div.slide h1 {
       
    85   padding-left: 0.5em;
       
    86   padding-right: 0;
       
    87   padding-top: 0.1em;
       
    88   margin-bottom: 0.8em;
       
    89   margin-top: -0.05em;
       
    90   margin-left: 2.5em;
       
    91   margin-right: 4em;
       
    92   color: white;
       
    93   height: 2.2em;
       
    94   font-size: 160%;
       
    95   line-height: 1.1em;
       
    96   background: #90A7D0;;
       
    97 }
       
    98 
       
    99 div.slide h1 a {
       
   100   color: white;
       
   101   text-decoration: none;
       
   102 }
       
   103 
       
   104 div.slide h1 a:link {
       
   105   color: white;
       
   106   text-decoration: none;
       
   107 }
       
   108 
       
   109 div.slide h1 a:visited {
       
   110   color: white;
       
   111   text-decoration: none;
       
   112 }
       
   113 
       
   114 div.slide h1 a:hover {
       
   115   color: white;
       
   116   text-decoration: underline;
       
   117 }
       
   118 
       
   119 div.slide h1 a:active {
       
   120   color: red;
       
   121   text-decoration: underline;
       
   122 }
       
   123 
       
   124 #head-icon {
       
   125   margin-top: 0;
       
   126   margin-bottom: 0;
       
   127   margin-left: 0;
       
   128   margin-right: 1em;
       
   129   background:  #90A7D0;
       
   130   border-width: 0;
       
   131   z-index: 2;
       
   132   float: left;
       
   133 }
       
   134 
       
   135 #head-logo {
       
   136   margin: 0;
       
   137   margin-top: 0.25em;
       
   138   padding-top: 0.25em;
       
   139   padding-bottom: 0.2em;
       
   140   padding-left: 0;
       
   141   padding-right: 0;
       
   142   height: 3em;
       
   143   width: 6.2em;
       
   144   float: right;
       
   145   z-index: 2;
       
   146   background: #90A7D0;
       
   147 }
       
   148 
       
   149 #head-logo-fallback {
       
   150   margin: 0;
       
   151   padding: 0;
       
   152   margin-top: -0.5em;
       
   153   height: 4em;
       
   154   float: right;
       
   155   z-index: 2;
       
   156 }
       
   157 
       
   158 div.background.slanty {
       
   159   z-index: 2;
       
   160   bottom: 0; 
       
   161   height: 100%;
       
   162   background: transparent;
       
   163 }
       
   164 
       
   165 div.background.slanty img { margin-top: 4em; width: 100%; height: 80% }
       
   166 
       
   167 /* the following makes the pre background translucent */
       
   168 /* opacity is a CSS3 property but supported by Mozilla family */
       
   169 /* filter is an IE specific feature that also requires width */
       
   170 div.slide.slanty pre {
       
   171   width: 93%;  /* needed for IE filter to work */
       
   172   opacity: .8;
       
   173   filter: alpha(opacity=80);
       
   174 }
       
   175 
       
   176 img.withBorder {
       
   177   border: 2px solid #c60;
       
   178   padding: 4px;
       
   179 }
       
   180 
       
   181 li pre { margin-left: 0; }
       
   182 
       
   183 @media print { pre { font-size: 60% } }
       
   184 
       
   185 blockquote { font-style: italic }
       
   186 
       
   187 img { background-color: transparent }
       
   188 
       
   189 p.copyright { font-size: smaller }
       
   190 
       
   191 .center { text-align: center }
       
   192 .footnote { font-size: smaller; margin-left: 2em; }
       
   193 
       
   194 a img { border-width: 0; border-style: none }
       
   195 
       
   196 a:visited { color: navy }
       
   197 a:link { color: navy }
       
   198 a:hover { color: red; text-decoration: underline }
       
   199 a:active { color: red; text-decoration: underline }
       
   200 
       
   201 a {text-decoration: none}
       
   202 .navbar a:link {color: white}
       
   203 .navbar a:visited {color: yellow}
       
   204 .navbar a:active {color: red}
       
   205 .navbar a:hover {color: red}
       
   206 
       
   207 ul { list-style-type: square; }
       
   208 ul ul { list-style-type: disc; }
       
   209 ul ul ul { list-style-type: circle; }
       
   210 ul ul ul ul { list-style-type: disc; }
       
   211 li { margin-left: 0.5em; margin-top: 0.5em; }
       
   212 li li { font-size: 85%; font-style: italic }
       
   213 li li li { font-size: 85%; font-style: normal }
       
   214 
       
   215 div dt
       
   216 {
       
   217   margin-left: 0;
       
   218   margin-top: 1em;
       
   219   margin-bottom: 0.5em;
       
   220   font-weight: bold;
       
   221 }
       
   222 div dd
       
   223 {
       
   224   margin-left: 2em;
       
   225   margin-bottom: 0.5em;
       
   226 }
       
   227 
       
   228 
       
   229 p,pre,ul,ol,blockquote,h2,h3,h4,h5,h6,dl,table {
       
   230   margin-left: 1em;
       
   231   margin-right: 1em;
       
   232 }
       
   233 
       
   234 p.subhead { font-weight: bold; margin-top: 2em; }
       
   235 
       
   236 div.cover p.explanation {
       
   237   font-style: italic;
       
   238   margin-top: 3em;
       
   239 }
       
   240 
       
   241 
       
   242 .smaller { font-size: smaller }
       
   243 
       
   244 td,th { padding: 0.2em }
       
   245 
       
   246 ul {
       
   247   margin: 0.5em 1.5em 0.5em 1.5em;
       
   248   padding: 0;
       
   249 }
       
   250 
       
   251 ol {
       
   252   margin: 0.5em 1.5em 0.5em 1.5em;
       
   253   padding: 0;
       
   254 }
       
   255 
       
   256 ul { list-style-type: square; }
       
   257 ul ul { list-style-type: disc; }
       
   258 ul ul ul { list-style-type: circle; }
       
   259 ul ul ul ul { list-style-type: disc; }
       
   260 li { margin-left: 0.5em; margin-top: 0.5em; }
       
   261 li li { font-size: 85%; font-style: italic }
       
   262 li li li { font-size: 85%; font-style: normal }
       
   263 
       
   264 
       
   265 ul li { 
       
   266   list-style: none;
       
   267   margin: 0.1em 0em 0.6em 0;
       
   268   padding: 0 0 0 40px;
       
   269   background: transparent url(bullet.png) no-repeat 5px 8px;
       
   270   line-height: 140%;
       
   271 }
       
   272 
       
   273 /* workaround IE's failure to support background on li for print media */
       
   274 @media print { ul li { list-style: disc; padding-left: 0; background: none; } }
       
   275 
       
   276 ol li { 
       
   277   margin: 0.1em 0em 0.6em 1.5em;
       
   278   padding: 0 0 0 0px;
       
   279   line-height: 140%;
       
   280 }
       
   281 
       
   282 li li { 
       
   283   font-size: 85%; 
       
   284   font-style: italic;
       
   285   list-style-type: disc;
       
   286   background: transparent;
       
   287   padding: 0 0 0 0;
       
   288 }
       
   289 li li li { 
       
   290   font-size: 85%; 
       
   291   font-style: normal;
       
   292   list-style-type: circle;
       
   293   background: transparent;
       
   294   padding: 0 0 0 0;
       
   295 }
       
   296 li li li li {
       
   297   list-style-type: disc;
       
   298   background: transparent;
       
   299   padding: 0 0 0 0;
       
   300 }
       
   301 
       
   302 /* rectangular blue bullet + unfold/nofold/fold widget */
       
   303 
       
   304 /*
       
   305  setting class="outline on ol or ul makes it behave as an
       
   306  ouline list where blocklevel content in li elements is
       
   307  hidden by default and can be expanded or collapsed with
       
   308  mouse click. Set class="expand" on li to override default
       
   309 */
       
   310 
       
   311 ol.outline li:hover { cursor: pointer }
       
   312 ol.outline li.nofold:hover { cursor: default }
       
   313 
       
   314 ul.outline li:hover { cursor: pointer }
       
   315 ul.outline li.nofold:hover { cursor: default }
       
   316 
       
   317 ol.outline { list-style:decimal; }
       
   318 ol.outline ol { list-style-type:lower-alpha }
       
   319 
       
   320 ol.outline li.nofold {
       
   321   padding: 0 0 0 20px;
       
   322   background: transparent url(nofold-dim.gif) no-repeat 0px 0.5em;
       
   323 }
       
   324 ol.outline li.unfolded {
       
   325   padding: 0 0 0 20px;
       
   326   background: transparent url(fold-dim.gif) no-repeat 0px 0.5em;
       
   327 }
       
   328 ol.outline li.folded {
       
   329   padding: 0 0 0 20px;
       
   330   background: transparent url(unfold-dim.gif) no-repeat 0px 0.5em;
       
   331 }
       
   332 ol.outline li.unfolded:hover {
       
   333   padding: 0 0 0 20px;
       
   334   background: transparent url(fold.gif) no-repeat 0px 0.5em;
       
   335 }
       
   336 ol.outline li.folded:hover {
       
   337   padding: 0 0 0 20px;
       
   338   background: transparent url(unfold.gif) no-repeat 0px 0.5em;
       
   339 }
       
   340 
       
   341 ul.outline li.nofold {
       
   342   padding: 0 0 0 52px;
       
   343   background: transparent url(bullet-nofold-dim.gif) no-repeat 5px 8px;
       
   344 }
       
   345 ul.outline li.unfolded {
       
   346   padding: 0 0 0 52px;
       
   347   background: transparent url(bullet-fold-dim.gif) no-repeat 5px 8px;
       
   348 }
       
   349 ul.outline li.folded {
       
   350   padding: 0 0 0 52px;
       
   351   background: transparent url(bullet-unfold-dim.gif) no-repeat 5px 8px;
       
   352 }
       
   353 ul.outline li.unfolded:hover {
       
   354   padding: 0 0 0 52px;
       
   355   background: transparent url(bullet-fold.gif) no-repeat 5px 8px;
       
   356 }
       
   357 ul.outline li.folded:hover {
       
   358   padding: 0 0 0 52px;
       
   359   background: transparent url(bullet-unfold.gif) no-repeat 5px 8px;
       
   360 }
       
   361 
       
   362 li ul.outline li.nofold {
       
   363   padding: 0 0 0 21px;
       
   364   background: transparent url(nofold-dim.gif) no-repeat 5px 8px;
       
   365 }
       
   366 li ul.outline li.unfolded {
       
   367   padding: 0 0 0 21px;
       
   368   background: transparent url(fold-dim.gif) no-repeat 5px 8px;
       
   369 }
       
   370 li ul.outline li.folded {
       
   371   padding: 0 0 0 21px;
       
   372   background: transparent url(unfold-dim.gif) no-repeat 5px 8px;
       
   373 }
       
   374 li ul.outline li.unfolded:hover {
       
   375   padding: 0 0 0 21px;
       
   376   background: transparent url(fold.gif) no-repeat 5px 8px;
       
   377 }
       
   378 li ul.outline li.folded:hover {
       
   379   padding: 0 0 0 21px;
       
   380   background: transparent url(unfold.gif) no-repeat 5px 8px;
       
   381 }
       
   382 
       
   383 img.withBorder {
       
   384   border: 2px solid #c60;
       
   385   padding: 4px;
       
   386 }
       
   387 
       
   388 div.header {
       
   389   position: absolute;
       
   390   z-index: 2;
       
   391   left: 0;
       
   392   right: 0;
       
   393   top: 0;
       
   394   bottom: auto;
       
   395   height: 2.95em;
       
   396   width: 100%;
       
   397   padding: 0 0 0 0;
       
   398   margin: 0 0 0 0;
       
   399   border-width: 0;
       
   400   border-style: solid;
       
   401   background-color: #005A9C;
       
   402   border-bottom-width: thick;
       
   403   border-bottom-color: #95ABD0;
       
   404 }
       
   405 
       
   406 div.footer {
       
   407   position: absolute;
       
   408   z-index: 80;
       
   409   left: 0;
       
   410   right: 0;
       
   411   top: auto;
       
   412   bottom: 0;
       
   413   height: 3.5em;
       
   414   margin: 0;
       
   415   font-size: 80%;
       
   416   font-weight: bold;
       
   417   padding-left: 1em;
       
   418   padding-right: 0;
       
   419   padding-top: 0.3em;
       
   420   padding-bottom: 0;
       
   421   color: #003366;
       
   422   background-color: #95ABD0;
       
   423 }
       
   424 
       
   425 /* this is a hack to hide property from IE6 and below */
       
   426 div[class="footer"] {
       
   427   position: fixed;
       
   428 }
       
   429 
       
   430 #w3c-logo {
       
   431   margin: 0;
       
   432   margin-top: 0.3em;
       
   433   margin-right: 0.75em;
       
   434   padding-top: 0;
       
   435   padding-bottom: 0;
       
   436   padding-left: 0;
       
   437   padding-right: 0;
       
   438   height: 2em;
       
   439   width: 4.1em;
       
   440   float: right;
       
   441   z-index: 3;
       
   442   background: #90A7D0;
       
   443 }
       
   444 
       
   445 #w3c-logo-fallback {
       
   446   margin: 0;
       
   447   margin-top: -0.5em;
       
   448   margin-right: 0.75em;
       
   449   padding-top: 0;
       
   450   padding-bottom: 0;
       
   451   padding-left: 0;
       
   452   padding-right: 0;
       
   453   height: 3em;
       
   454   width: 4.1em;
       
   455   float: right;
       
   456   z-index: 3;
       
   457   background: #90A7D0;
       
   458 }
       
   459 
       
   460 #hidden-bullet {
       
   461   visibility: hidden;
       
   462   display: none;
       
   463 }
       
   464 
       
   465 div.slide.cover {
       
   466   color: white;
       
   467   background-color: #90A7D0;
       
   468   padding-top: 0;
       
   469   padding-right: 0;
       
   470   padding-left: 3em;
       
   471   height: 100%;
       
   472 }
       
   473 
       
   474 div.slide.cover h1 {
       
   475   margin: 0;
       
   476   padding: 0.5em;
       
   477   color: white;
       
   478   height: auto;
       
   479 }
       
   480 
       
   481 div.slide.cover h2 {
       
   482   color: white;
       
   483 }
       
   484 
       
   485 div.slide.cover a {
       
   486   color: white;
       
   487 }
       
   488 
       
   489 div.slide.cover a:hover, div.slide.cover a:active {
       
   490   color: yellow; text-decoration: underline;
       
   491 }
       
   492 
       
   493 div.slide.cover img.cover {
       
   494    margin: 0 0 0 0;
       
   495    float: right;
       
   496    padding-bottom: 4em;
       
   497    width: 50%;
       
   498    overflow: hidden;
       
   499 }
       
   500 
       
   501 div.slide.cover a:hover, div.slide.cover a:active {
       
   502     color: yellow; text-decoration: underline;
       
   503 }
       
   504 
       
   505 /* for Bert as an ardent user of the old W3C slidemaker tool */
       
   506 
       
   507 div.comment { display: none; visibility: hidden }
       
   508 
       
   509 @media print { div.comment { display: block; visibility: visible } }