9
9
body
10
10
{
11
11
font : 100% 'Arial' , sans-serif;
12
- color : # 555555 ;
12
+ color : # 666 ;
13
+ background-color : # eee ;
13
14
}
14
15
15
16
div # main
@@ -36,7 +37,7 @@ div#left-column a
36
37
padding : 5px ;
37
38
padding-left : 20px ;
38
39
text-decoration : none;
39
- color : # 444444 ;
40
+ color : # 666 ;
40
41
font-size : 100% ;
41
42
}
42
43
@@ -47,7 +48,7 @@ div#left-column a.current-page
47
48
48
49
div # left-column a : hover
49
50
{
50
- background-color : # ececec ;
51
+ background-color : # f6f6f6 ;
51
52
}
52
53
53
54
div # right-column
@@ -56,32 +57,6 @@ div#right-column
56
57
float : right;
57
58
}
58
59
59
- img # logo
60
- {
61
- display : block;
62
- float : left;
63
- }
64
-
65
- img # slogan
66
- {
67
- display : block;
68
- float : right;
69
- }
70
-
71
- img # landing
72
- {
73
- display : block;
74
- border : 1px solid # cccccc ;
75
- -moz-box-shadow : 0px 0px 20px # 888888 ;
76
- -webkit-box-shadow : 0px 0px 20px # 888888 ;
77
- box-shadow : 0px 0px 20px # 888888 ;
78
- }
79
-
80
- img # mit-logo
81
- {
82
- float : right;
83
- }
84
-
85
60
img .bullet
86
61
{
87
62
padding-bottom : 3px ;
96
71
97
72
h1
98
73
{
99
- color : # 0d4d73 ;
100
- font-size : 170% ;
74
+ font-size : 130% ;
101
75
font-weight : bold;
102
- text-shadow : 1px 1px 3px # e2e2e2 ;
103
76
margin-top : 20px ;
104
77
margin-bottom : 10px ;
78
+ text-shadow : 1px 1px 1px # fff ;
79
+ color : # 666 ;
105
80
}
106
81
107
82
h2
108
83
{
109
- font-size : 130 % ;
84
+ font-size : 110 % ;
110
85
font-weight : bold;
111
- text-shadow : 1px 1px 3px # e6e6e6 ;
112
86
margin-top : 20px ;
113
87
margin-bottom : 10px ;
88
+ text-shadow : 1px 1px 1px # fff ;
89
+ color : # 999 ;
114
90
}
115
91
116
92
p
119
95
margin-bottom : 10px ;
120
96
}
121
97
98
+ code
99
+ {
100
+ font : 85% "Droid Sans Mono" , "Consolas" , "Courier" , "Courier New" , monospace;
101
+ background-color : # f6f6f6 ;
102
+ }
103
+
122
104
form # terminal-form
123
105
{
124
106
border-right : 1px solid # d9d9d9 ;
125
107
padding : 20px ;
126
- background-color : # fafafa ;
108
+ background-color : # f8f8f8 ;
127
109
overflow : auto;
128
110
cursor : text;
111
+ -moz-box-shadow : 0px 0px 20px # ddd ;
112
+ -webkit-box-shadow : 0px 0px 20px # ddd ;
113
+ box-shadow : 0px 0px 20px # ddd ;
129
114
}
130
115
131
116
div # terminal
0 commit comments