-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathstyle.css
124 lines (110 loc) · 2.21 KB
/
style.css
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
html, body {
/* font-family: Verdana, Arial, sans-serif; */
/* font-family: cambria, georgia, serif; */
font-family: arial;
font-size: 15pt;
height: 100%;
margin: 5px 0px 0px 0px;
padding: 0px;
/* background-color: f9f4ee; */
}
/* Link styling */
a {
color: #4478c7; /* A type of blue */
text-decoration: none;
}
a:visited {
color: #4478c7; /* A type of blue */
}
a:hover {
color: #4478c7; /* A type of blue */
text-decoration: underline;
}
/* General div styles */
.main {
width: 90%;
min-width: 600px;
max-width: 1100px;
min-height: 100%; /* This forces the container to extend till the bottom of page */
/* margin: 0px auto; */ /* Centers the container */
padding: 0px 30px 10px 10%;
border-bottom: 0px;
/* text-align: justify; */
}
.aboutme {
width: 70%;
min-width:
}
.contact {
width: 45%;
float: left
}
.publications {
padding: 0px 0px 0px 0px;
width: 100%;
clear: both;
text-align: left;
}
.publications li {
padding-bottom: 2px;
}
.links {
display: inline-block;
font-weight: bold;
}
.links a {
margin-left: 3px;
margin-right: 3px;
}
.links:before {
content: "[";
}
.links:after {
content: "]";
}
ul.major-list li:not(:last-child) {
margin-bottom: 8px;
}
/* To get ordered lists share the same ordering */
/* http://stackoverflow.com/questions/4615500/how-to-start-a-new-list-continuing-the-numbering-from-the-previous-list */
ol.start {
counter-reset: mycounter;
}
ol.start li, ol.continue li {
list-style: none;
display: table;
margin-top: 2px;
}
ol.start li:before, ol.continue li:before {
content: counter(mycounter) ".\00a0\00a0 ";
counter-increment: mycounter;
display: table-cell;
}
#AboutMeDiv {
margin-right: 230px;
}
#ImageDiv {
width: 230px; float: right;
}
@media (max-width: 900px) {
div#ImageDiv {
display: none;
width: 0%;
}
}
@media (max-width: 900px) {
div#AboutMeDiv {
width: 100%;
}
}
@media (max-width: 1200px) {
div.contact {
width: 100%;
padding-bottom: 15px
}
}
@media (max-width: 900px) {
div.main {
padding: 0px 30px 10px 30px;
}
}