File tree Expand file tree Collapse file tree 2 files changed +25
-2
lines changed Expand file tree Collapse file tree 2 files changed +25
-2
lines changed Original file line number Diff line number Diff line change 62
62
background-color : # A0CE3D ;
63
63
}
64
64
65
+ .darker-green {
66
+ border-color : # 8BC313 ;
67
+ background-color : # 8BC313 ;
68
+ }
69
+
65
70
.blue {
66
71
border-color : # 63A4FF ;
67
72
background-color : # 80B5FF ;
@@ -148,19 +153,31 @@ td {
148
153
margin-left : auto;
149
154
width : 100% ;
150
155
line-height : 2.5em ;
151
- padding : 0.3em ;
152
156
}
153
157
154
158
.menu-item {
155
159
display : inline-block;
156
160
padding-right : 0.3em ;
157
161
font-size : 1.1em ;
162
+ margin-top : 0.3em ;
163
+ min-width : 4em ;
158
164
}
159
165
160
166
.menu-item + .menu-item {
161
167
border-left : 0.15em dotted # FFFFFF ;
162
168
padding-left : 0.45em ;
163
169
}
170
+ .menu-item .selected + .menu-item {
171
+ border-left : none;
172
+ }
173
+
174
+ .menu-item .selected {
175
+ border-radius : 1em 1em 0 0 ;
176
+ box-shadow : 0.5em 0.5em 1em # 888888 ;
177
+ display : inline-block;
178
+ border-left : none;
179
+ border-bottom : solid inherit;
180
+ }
164
181
165
182
# formalities { font-style : italic; }
166
183
Original file line number Diff line number Diff line change 42
42
< div class ="menu ">
43
43
< div class ="menu-items dark-green ">
44
44
< a class ="menu-item " href ="/language "> Language</ a >
45
- < a class ="menu-item " href ="/type "> Types</ a >
45
+ < span class ="menu-item selected darker-green " href ="/type "> Types</ span >
46
46
< a class ="menu-item " href ="/routine "> Routines</ a >
47
47
< a class ="menu-item " href ="/module "> Modules</ a >
48
48
< a id ="formalities " class ="menu-item " href ="/formalities "> Formalities</ a >
49
49
</ div >
50
+ < div class ="menu-items darker-green ">
51
+ < a class ="menu-item " href ="/language "> Basic</ a >
52
+ < a class ="menu-item " href ="/type "> Composite</ a >
53
+ < a class ="menu-item " href ="/routine "> Domain-Specific</ a >
54
+ < a class ="menu-item " href ="/module "> Exceptions</ a >
55
+ </ div >
50
56
</ div >
51
57
</ div >
52
58
< div id ="content " class ="pretty-box yellow ">
You can’t perform that action at this time.
0 commit comments