home *** CD-ROM | disk | FTP | other *** search
/ Hackers Magazine 57 / CdHackersMagazineNr57.iso / Software / Hacking / OperaTor-3.4.exe / OperaTor / Opera / styles / error.css < prev    next >
Encoding:
Cascading Style Sheet File  |  2009-07-16  |  3.3 KB  |  180 lines
  1. @charset "utf-8";
  2. /* Stylesheet for the Opera error documents */
  3. /* Copyright 2009 Opera Software */
  4. @media not print {
  5.  
  6. @font-face {
  7.     font-family: Inconsolata;
  8.     src: url('Inconsolata.otf');
  9. }
  10.  
  11. html {
  12.     font-family: Helvetica,Arial,sans-serif;
  13.     color: #444;
  14.     background: #ddd url(images/page-bot.png) left bottom repeat-x;
  15.     margin: 0 10%;
  16.     voice-family: female;
  17.     font-size: 100%;
  18.     line-height: 1.5;
  19.     height: 100%;
  20. }
  21.  
  22. body {
  23.     padding: 0 0 30px 60px;
  24.     background: url(images/error.png) no-repeat ;
  25.     margin: 0 auto;
  26. }
  27.  
  28. html {max-width: 600px;}
  29. head {
  30.     position: relative;
  31.     display: block;
  32.     speak: normal;
  33. }
  34.  
  35. head {
  36.     padding: 20px 0 0 0;
  37. }
  38. title {
  39.     font-size: 95%;
  40.     font-weight: bold;
  41.     text-transform: uppercase;
  42.     color: #888;
  43.     display: block;
  44.     speak: normal;
  45.     padding: 0 0 0 61px;
  46.     margin: 0 0 -8px 0;
  47.     width: 100%;
  48.     text-shadow: 0 1px 0 rgba(255,255,255,0.6);
  49. }
  50.  
  51. html[dir="rtl"] title {
  52.     left: auto;
  53.     right: 10px;
  54. }
  55. html[lang^="el"] title {text-transform: none;}
  56. title::after {
  57.     content: "!";
  58.     speak: none;
  59. }
  60. html[lang^="es"] title::before {content: "\00A1";}
  61. body {
  62.     color: inherit;
  63.     margin: 0;
  64. }
  65. h1 {
  66.     font-size: 220%;
  67.     letter-spacing: -1px;
  68.     line-height: 1.15;
  69.     color: #dd0000;
  70.     text-shadow: 0 1px 0 rgba(255,255,255,0.4);
  71.     font-weight: normal;
  72.     padding: 7px 10px 15px 0;
  73.     margin: 0;
  74.     border-bottom: 1px solid #fff;
  75. }
  76. html[dir="rtl"] h1 {
  77.     text-align: left;
  78.     letter-spacing: normal;
  79.     padding: 20px 5em 15px 10px;
  80. }
  81. h2 {
  82.     font-size: 100%;
  83.     font-weight: normal;
  84.     padding: 5px 7px;
  85.     margin: 0;
  86. }
  87. html[dir="rtl"] h2 {letter-spacing: normal;}
  88. a {
  89.     color: #086fd8;
  90.     font-style: normal;
  91. }
  92.  
  93. p {
  94.     font-size: 85%;
  95.     -o-text-overflow: ellipsis;
  96.     margin: 20px 0;
  97.     overflow: hidden;
  98.     font-style: normal;
  99. }
  100.  
  101. ul {
  102.     padding: 0;
  103. }
  104.  
  105. li {
  106.     font-size: 85%;
  107.     margin: 10px 10px 0 0;
  108. }
  109.  
  110. ul li {
  111.     padding: 0 0 0 20px;
  112.     margin: 10px 0 0 -20px;
  113.     list-style-type: none;
  114.     background: url(images/bullet.png) no-repeat 0 0.3em;
  115. }
  116.  
  117. dl {
  118.     font-size: 83%;
  119.     margin: 10px 0;
  120. }
  121. dt {
  122.     font-weight: bold;
  123.     margin: 0 5px 0 0;
  124.     display: run-in;
  125. }
  126. dd {margin: 0;}
  127. cite {
  128.     font-weight: bold;
  129.     white-space: pre;
  130. }
  131. pre {
  132.     font-size: 90%;
  133.     white-space: pre-wrap;
  134.     line-height: 160%;
  135.     background-color: hsl(0,0%,98%);
  136.     padding: 15px;
  137.     margin: 20px 0;
  138.     border: 1px solid #ccc;
  139.     overflow: auto;
  140.     font-family: Inconsolata, monospace;
  141. }
  142. pre em {
  143.     font-style: normal;
  144.     padding: 2px;
  145.     speak: spell-out;
  146. }
  147. pre em.error {
  148.     color: white;
  149.     background-color: hsl(0,100%,40%);
  150. }}
  151.  
  152. address {
  153.     font-size: 72%;
  154.     -o-text-overflow: ellipsis;
  155.     margin: 20px 0;
  156.     overflow: hidden;
  157.     font-style: normal;
  158. }
  159.  
  160. @media tv, handheld {html {font-size: 150%;}}
  161.  
  162. @media screen and (max-width: 250px), projection and (max-width: 250px), tv and (max-width: 250px), handheld and (max-width: 250px) {
  163.     h1 {font-size: 83%;}
  164. }
  165. @media all and (min-width: 1025px) {html, head {max-width: 700px;}}
  166. @media all and (min-width: 1281px) {html, head {max-width: 800px;}}
  167. @media all and (min-width: 1601px) {html, head {max-width: 900px;}}
  168. @media tv {title, h1 {font-size: 90%;}}
  169. @media print {
  170.     * {border: none;}
  171.     h2, h2+ul, head {display: none;}
  172.     h1 {
  173.         font-size: 13pt;
  174.         font-weight: bold;
  175.         page-break-before: avoid;
  176.         page-break-after: avoid;
  177.     }
  178. }
  179.  
  180.