-
Notifications
You must be signed in to change notification settings - Fork 51
/
Copy pathjslda.css
44 lines (30 loc) · 2.02 KB
/
jslda.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
body { font-family: Calibri, Verdana; background-color: #fff; }
div.sidebar { float: left; width: 25%; }
div.sidebar div.sidebox { margin: 5px; padding: 10px; }
div.top { background-color: #ddd; margin: 5px; padding: 10px; -moz-border-radius: 10px; border-radius: 10px; }
div.top #num_topics_control { float:right; }
div.upload { background-color: #ddd; float: right; padding-right: 20px; border-radius: 10px; margin: 5px; }
div.upload div { margin: 8px; }
div#topics div { color: #555; margin-bottom: 10px; padding: 5px; cursor: default;}
div#topics div.selected { border-right: solid black 2px; font-weight: bold; }
div#topics div:hover { background-color: #ccc; }
#tabwrapper { margin-left: 25%; }
.tabs{ height: 30px; }
.tabs > ul { font-size: 1em; list-style: none; }
.tabs > ul > li { border: solid #ddd 2px; margin:0 2px 0 0; padding:7px 10px; display:block; float:left; color:#333; -webkit-user-select: none; -moz-user-select: none; user-select: none; -moz-border-radius: 4px; border-radius: 4px; background: #FFFFFF; }
.tabs > ul > li:hover { background: #ddd; cursor:pointer; }
.tabs > ul > li.selected { background: #ddd; cursor:pointer; font-weight: bold; }
.tabs > ul > li.selected:hover { color: #000; }
#vocab-tab { float: right; }
#dl-tab { float: right; }
div.help { padding: 20px 100px 15px 30px; color: #777; }
.page { padding:10px 10px 25px; background-color: #fff; margin-top: 4px; display: none; }
div#docs-page { display: block; }
div.document { font-family: Alegreya, Georgia, Times; margin: 20px; padding: 10px; }
text { font-size: small; fill: #555; dominant-baseline: middle;; }
table { margin-left: 50px; border-collapse: collapse; text-align: left; }
table th { font-weight: normal; padding: 10px 8px; border-bottom: 2px solid black; }
table td { text-align: right; padding: 9px 8px 0px 8px; }
#tooltip { border: solid #ddd 2px; margin:0 2px 0 0; padding:7px 10px; color:#333; border-radius: 4px; background: #FFFFFF; position: absolute; z-index: 10; visibility: hidden; }
input#docs-file-input {}
input#stops-file-input {}