Skip to content
This repository
Browse code

[doc] CSS: update (not finished)

  • Loading branch information...
commit 030de7eee25d5005ecd8df9860a16fb2f170484d 1 parent 6157f82
authored August 31, 2011

Showing 1 changed file with 128 additions and 103 deletions. Show diff stats Hide diff stats

  1. 231  doc/book/opalang.css
231  doc/book/opalang.css
... ...
@@ -1,33 +1,27 @@
1 1
 @media screen {
2  
-  body {
3  
-      color:#252525;
4  
-      line-height:1.4em;
5  
-      font-weight: normal;
6  
-      font-family: serif;
7  
-      text-shadow: 0 1px 0 white;
8  
-      text-align:left;
9  
-      background: #F2F2ED;
10  
-  }
11  
-  html {
12  
-      background: #F2F2ED;
13  
-  }
14  
-  * {
  2
+* {
15 3
       margin: 0;
16 4
       padding: 0;
17  
-  }
18  
-  div.admonitionblock {
19  
-      margin-top: 15px;
20  
-  }
21  
-  .imageblock img {
22  
-      border: 1px dotted black;
23  
-  }
24  
-  div.listingblock div.title {
25  
-      font-weight:bold
26  
-  }
  5
+}
  6
+html {
  7
+      background: #FFF;
  8
+}
  9
+body {
  10
+      color:#454545;
  11
+      font-size:14px;
  12
+      line-height:18px;
  13
+      font-weight: normal;
  14
+      font-family: "Lucida Grande", Helvetica, Arial, sans-serif;
  15
+      text-align:left;
  16
+      background: #FFF;
  17
+}
  18
+
  19
+/*links*/
27 20
 a, a:link, a:visited {color: #0B67B2;text-decoration: none;}
28 21
 a:hover {color: #0B4D86;text-decoration: underline;}
29 22
 a:active {color: #B30A0A;}
30 23
 
  24
+/*Lists*/
31 25
 ul, ol { margin: 0 0 1.5em 0; }
32 26
 ul li, ol li {list-style-type: disc;margin:0;}
33 27
 ul li ul, ol li ol {margin-left:20px;}
@@ -41,10 +35,10 @@ table {
41 35
   margin: 5px 0;
42 36
   width: 100%;
43 37
 }
44  
-table td {vertical-align:top;border-bottom: 1px solid #c6c6c2;padding: 3px;color: #767672;font-size:0.9em;}
45  
-table td.icon {width:7%;}
  38
+table td {vertical-align:top;border-bottom: 1px solid #ddd;padding: 3px;color: #555;font-size:0.9em;}
  39
+table td.icon {width:10%;}
46 40
 table td.icon .title {
47  
-  background: #B30A0A;
  41
+  background: #F46E0B;
48 42
   text-align:center;
49 43
   color:white;
50 44
   border-radius: 0.3em 0.3em 0.3em 0.3em;
@@ -54,16 +48,16 @@ table td.icon .title {
54 48
 }
55 49
 table td.icon:after {border:none;}
56 50
 table td.content {padding-left:10px;}
57  
-table td.content .title {font-variant:small-caps;font-size:1.2em;color:#B30A0A;}
58  
-table td:after {border-bottom: 1px solid #FFF;content:"";position:relative;top:5px;display:block;}
  51
+table td.content .title {font-weight:bold;font-size:1.2em;color:#000;}
  52
+
59 53
 p {margin: 1em 0;}
60 54
 li p, td p {display:inline;}
61  
-h1 {color:#000; font-size: 3em; line-height:1.5em; margin: 0.7em 0; }
62  
-h2 {color:#B30A0A; font-size: 2.5em; line-height:1.4em; margin: 1em 0 0.5em 0;}
  55
+h1 {color:#000; font-size: 2.2em; line-height:1.4em; margin: 0.7em 0; }
  56
+h2 {color:#F46E0B; font-size: 2.5em; line-height:1.4em; margin: 1em 0 0.5em 0;}
63 57
 h3, #toctitle {color:#000; font-size: 1.5em; line-height:1em; margin: 1em 0;}
64  
-h4 {color:#969692; font-size: 1.3em; line-height:1em; margin: 0.5em 0;}
65  
-h5 {color:#B30A0A; font-size: 1.25em; line-height:1.2em; margin: 0 0 0.5em 0;}
66  
-h1, h2, h3, h4, h5 {font-family: "proxima-nova", "Avenir", "Futura", "Helvetica", "Arial", sans-serif;font-weight: normal;}
  58
+h4 {color:#000; font-size: 1.3em; line-height:1em; margin: 0.5em 0;}
  59
+h5 {color:#F46E0B; font-size: 1.25em; line-height:1.2em; margin: 0 0 0.5em 0;}
  60
+h1, h2, h3, h4, h5 {font-family: "Helvetica", "Arial", sans-serif;font-weight: 700;}
67 61
 div.sectionbody { padding-top:10px;}
68 62
 img {
69 63
   position:relative;
@@ -71,35 +65,80 @@ img {
71 65
   text-align:center;
72 66
   display:block;
73 67
 }
  68
+pre {
  69
+   font-size: 12px;
  70
+   font-weight: normal;
  71
+   line-height: 18px;
  72
+   margin:10px 0;
  73
+   padding:1em;
  74
+   border: 1px solid #ddd;
  75
+   color: #195F91;
  76
+   background-color: #FEFBF3;
  77
+   margin: 0;
  78
+   max-height: 500px;
  79
+   overflow: auto;
  80
+  border-radius: 0.3em 0.3em 0.3em 0.3em;
  81
+  -webkit-border-radius: 0.3em 0.3em 0.3em 0.3em;
  82
+  -moz-border-radius: 0.3em 0.3em 0.3em 0.3em;
  83
+    box-shadow: 0 1px 3px #ddd inset;
  84
+    -webkitbox-shadow: 0 1px 3px #ddd inset;
  85
+    -mozbox-shadow: 0 1px 3px #ddd inset;
  86
+}
74 87
 
75  
-#header,#footer {
76  
-  position: relative;
77  
-  text-align: center;
  88
+/*Structure*/
  89
+#header {
  90
+    width: 100%;
78 91
 }
79  
-#footer {
80  
-  width:100%;
  92
+#header h1{
  93
+    text-align:center;
  94
+    background:black;
  95
+    border-top: 3px solid #FF9238;
  96
+    border-bottom: 1px solid #ECECEC;
  97
+    color:#eee;
  98
+    height: 50px;
  99
+    padding-top:10px;
  100
+    left: 0;
  101
+    margin: 0;
  102
+    position: fixed;
  103
+    top: 0;
  104
+    width: 100%;
  105
+    z-index: 50;
81 106
 }
82  
-#header {
83  
-    background:url('oni.png') no-repeat 90% 6%;
84  
-    border-bottom:1px solid #c6c6c2;
85  
-    width:1000px;    width:1000px;
86  
-    margin: 0 auto;
  107
+#toc {
  108
+   float:left;
  109
+   font-size:12px;
  110
+   width:200px;
  111
+   position:relative;
  112
+   left:50%;
  113
+   top:0;
  114
+   margin:10px 0 0 -500px;
87 115
 }
88  
-#header h1{ border-bottom:1px solid #c6c6c2;}
89  
-
90  
-#content, #footer-text, #toc {
  116
+#content {
  117
+   position:relative;
  118
+   top:0;
  119
+   left:50%;
  120
+   margin: 60px 0 0 -280px;
  121
+   width: 780px;
  122
+}
  123
+#footer-text {
91 124
   position: relative;
92 125
   text-align: left;
93 126
   width:1000px;
94 127
   padding:10px 0;
95  
-}
96  
-#content, #footer-text {
97 128
   margin: 0 auto;
98 129
 }
99  
-#toc {
100  
-  width: 80%;
101  
-  margin: 0 10%;
  130
+#footer {
  131
+  position: relative;
  132
+  text-align: center;
  133
+  width:100%;
  134
+  background: #bbb; 
  135
+  color:#eee; 
  136
+  border-top:1px solid #999; 
  137
+  text-shadow: 0 -1px 0 #999;
102 138
 }
  139
+
  140
+
  141
+
103 142
   .left {
104 143
       text-align: left;
105 144
   }
@@ -108,42 +147,7 @@ img {
108 147
   }
109 148
 
110 149
 
111  
-#footer {background: #B6B6B2; color:#eee; border-top:1px solid #999; text-shadow: 0 -1px 0 #999;}
112 150
 
113  
-/*
114  
-pre {
115  
-  background:#FFF;
116  
-  margin:5px 0;
117  
-  padding: 3px;
118  
-  color: #767672;
119  
-  border-color: #C6C6C2;
120  
-  border-style: solid;
121  
-  border-width: 1px 1px 1px 5px;
122  
-  width:990px;
123  
-  overflow:auto;
124  
-  font-size:0.9em;
125  
-}
126  
-*/
127  
-  pre {
128  
-   font-size: 90%;
129  
-   font-weight: bold;
130  
-   line-height: 120%;
131  
-   padding-top: 0.5em;
132  
-   padding-bottom: 0.5em;
133  
-   padding-left: 1em;
134  
-   padding-right: 1em;
135  
-   border-style: solid;
136  
-   border-left-width: 1em;
137  
-   border-top-width: thin;
138  
-   border-right-width: thin;
139  
-   border-bottom-width: thin;
140  
-   border-color: #95ABD0;
141  
-   color: #00428C;
142  
-   background-color: #FFF;
143  
-   margin: 0px;
144  
-   max-height: 500px;
145  
-   overflow: auto;
146  
-  }
147 151
 /* #preamble {position: absolute;right: 0;top: -370px;} */
148 152
 .toctitle {color:#969692;}
149 153
 .toclevel1 {font-size:1.2em; margin-top:10px;}
@@ -329,24 +333,21 @@ pre {
329 333
   }
330 334
   div.admonitionblock table td {
331 335
       vertical-align:top;
332  
-/*      padding: 3px;*/
333 336
       color: #767672;
334 337
       font-size:0.9em;
  338
+      border:none;
335 339
   }
336 340
   div.admonitionblock table td.icon {
337  
-      width:7%;
  341
+      width:10%;
338 342
   }
339 343
   div.admonitionblock table td.icon div.title {
340  
-      background: #B30A0A;
  344
+      background: #F46E0B;
341 345
       text-align:center;
342 346
       color:white;
343 347
       -webkit-border-radius: 0.3em 0.3em 0.3em 0.3em;
344 348
       -moz-border-radius: 0.3em 0.3em 0.3em 0.3em;
345 349
       text-shadow: 0 1px 0 #777777;
346 350
   }
347  
-  div.admonitionblock table td.icon:after {
348  
-      border:none;
349  
-  }
350 351
   div.admonitionblock table td.content {
351 352
       padding-left:  10px;
352 353
       padding-right: 10px;
@@ -359,15 +360,7 @@ pre {
359 360
       font-size:1.2em;
360 361
       color:#B30A0A;
361 362
   }
362  
-/*
363  
-  div.admonitionblock table td:after {
364  
-      border-bottom: 1px solid #FFF;
365  
-      content:"";
366  
-      position:relative;
367  
-      top:5px;
368  
-      display:block;
369  
-  }
370  
-*/
  363
+
371 364
 
372 365
 /**
373 366
  * {1 Header, footer}
@@ -397,13 +390,45 @@ pre {
397 390
 }
398 391
 
399 392
 span.run {
400  
-    border: 1px solid black;
  393
+    border: 1px solid gray;
401 394
     padding: 8px;
402 395
     font-size: 1.2em;
403 396
     border-radius: 8px;
404  
-    background: #DFD;
  397
+    background: #DDD;
405 398
     display: inline;
406 399
     position: relative;
407 400
     top: -62px;
408 401
     float: right;
409 402
 }
  403
+
  404
+/*tip block*/
  405
+div.admonitionblock {
  406
+    margin: 15px 0;
  407
+    background:#F8F8F8;
  408
+    border:1px solid #ddd;
  409
+    padding:0.5em;
  410
+      border-radius: 0.3em 0.3em 0.3em 0.3em;
  411
+  -webkit-border-radius: 0.3em 0.3em 0.3em 0.3em;
  412
+  -moz-border-radius: 0.3em 0.3em 0.3em 0.3em;
  413
+    box-shadow: 0 1px 3px #CCCCCC inset;
  414
+    -webkitbox-shadow: 0 1px 3px #CCCCCC inset;
  415
+    -mozbox-shadow: 0 1px 3px #CCCCCC inset;
  416
+}
  417
+div.admonitionblock table td {border:none;}
  418
+/*image block*/
  419
+.imageblock {
  420
+    border: 1px solid #CCCCCC;
  421
+    border-radius: 0.3em 0.3em 0.3em 0.3em;
  422
+    -webkit-border-radius: 0.3em 0.3em 0.3em 0.3em;
  423
+    -moz-border-radius: 0.3em 0.3em 0.3em 0.3em;
  424
+    box-shadow: 0 1px 3px #CCCCCC inset;
  425
+    -webkitbox-shadow: 0 1px 3px #CCCCCC inset;
  426
+    -mozbox-shadow: 0 1px 3px #CCCCCC inset;
  427
+}
  428
+.imageblock img {
  429
+    border:none;
  430
+    max-width:100%;
  431
+}
  432
+div.listingblock div.title {
  433
+    font-weight:bold;
  434
+}

0 notes on commit 030de7e

Please sign in to comment.
Something went wrong with that request. Please try again.