1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
|
html,body {
background-color: #000;
color: #e5e5e5;
height: 97%;
}
/* Create the whole terminal which cosists of a window and a header */
.terminal {
width: 98%;
min-height:10%;
border-width: 1px;
border-top-color: #dfdede;
border-bottom-color: #949494;
border-right-color: #AAAAAA;
border-left-color: #e0dfdf;
border-style: solid;
border-radius: 6px;
background-color: #272727;
color: #e5e5e5;
margin-bottom: 10px;
-webkit-box-shadow: 5px 4px 20px 1px rgba(0,0,0,0.75);
-moz-box-shadow: 5px 4px 20px 1px rgba(0,0,0,0.75);
box-shadow: 5px 4px 20px 1px rgba(0,0,0,0.75);
}
li { padding: 10px; }
/* The terminal window where you put the content */
.terminal .terminal-window {
padding: 15px;
font-size: medium;
font-weight: normal;
font-family: "Courier New", Monaco, monospace;
}
/* Sets the color for a path such as ~/page/menu $ */
.terminal .terminal-window .path {
margin-right: 10px;
color:#729fcf;
}
/* Sets the color and font type for a user such as user@server */
.terminal .terminal-window .user {
color:#6fc736;
font-weight: bold;
}
/* Decide how links within a menu class in the window should look like */
.terminal .terminal-window .menu a {
/* text-decoration: none; */
color: #e5e5e5;
font-weight: normal;
}
a {
/* text-decoration: none; */
color: #FFFFFF;
font-weight: normal;
}
a:visited {
color: #FFFFFF;
font-weight: normal;
}
/* Create mouse over effect */
.terminal .terminal-window .menu a:hover {
font-weight: bold;
}
/* Create the blinkin cursor*/
.terminal .terminal-window .cursor {
background-color: #e5e5e5;
animation: blink 1s steps(5, start) infinite;
-webkit-animation: blink 1s steps(5, start) infinite;
}
@keyframes blink {
to {
visibility: hidden;
}
}
@-webkit-keyframes blink {
to {
visibility: hidden;
}
}
/* The header contains the name of the terminal and the buttons for
closing, maximizing, minimizing */
.terminal .header {
position: relative;
overflow:hidden; /*This makes the heigth adjust to the content.
It is necessary because this div contains floating divs */
background-image: linear-gradient(to top, #d6d6d6 0%, #e5e5e5 100%);
padding: 2px;
border-top-left-radius: 6px;
border-top-right-radius: 6px;
}
/* The buttons in the top right corner...*/
.terminal .header .header-buttons {
float:right;
width:40%;
}
.terminal .header .header-buttons ul {
display: inline;
list-style-type: none;
color:#404040;
}
/* ... are implemented as a list... */
.terminal .header .header-buttons ul li {
list-style-type: none;
display: inline;
float: right;
font-size: x-large;
border-radius: 6px;
margin-right: 10px;
font-weight:normal;
cursor: pointer;
}
/* ... and just like in Mint there is a mouse-over effect */
.terminal .header .header-buttons ul li:hover {
font-weight:bold;
color: #00000;
}
/* Change the properties of the window name */
.terminal .header .header-name h4 {
float:left;
width:50%;
text-align:right;
font-size: large;
margin: 5px;
letter-spacing: 1px;
color: #404040;
}
|
