File: general.css

package info (click to toggle)
xhtmlrenderer 0.0~R8%2Bdfsg2-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, stretch
  • size: 11,288 kB
  • ctags: 7,218
  • sloc: java: 46,036; xml: 1,518; makefile: 27; sh: 11
file content (87 lines) | stat: -rw-r--r-- 1,557 bytes parent folder | download | duplicates (6)
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
      body {
        font-family: Tahoma, Verdana, Arial;
      }
      #fslogo {
        border-style: none;
        text-decoration: none;
        font-family: Tahoma, Verdana, Arial;
        font-size: 20pt;
        font-weight: bold;
        margin: 0pt;    
        padding: 0pt;   
        margin-bottom: 10pt;
      }
      #fsimg {
        float: left;
        border-style: none;
        text-decoration: none;
        margin: 10pt 15pt 10pt 0pt;    
      }
      #pageintro {
        font-family: tahoma, verdana, arial;
        font-size: 16pt;
        background-color: white;
        border: 1px solid #c0c0ff;
        padding: 10px;
        
        margin: 5px 5px 20px 5px;
      }
      #features {
        font-size: 0.9em;
      }


	.left-link { 
		width: 10em; 
		margin: 10px;
		padding: 5px;
		position: absolute;
		top: 0px;
		left: 0px; 
		
	}
	
	.right-link {
		width: 10em; 
		margin: 10px;
		padding: 5px;
		
		position: absolute;
		top: 0px;
		right: 0px; 
		text-align: right; 
	}
	
	.left-link, .right-link {
		background-color: white;
		border: 1px dotted blue;
		font-weight: normal;
	}
	
	.left-link a, .right-link a {
		font-family: sans-serif;
		text-decoration: none;
		font-weight: normal;
		border: 0px solid red;
	}
	
	.left-link a:hover, .right-link a:hover {
		border-color: black;
		text-decoration: underline;
	}
	
	.left-link:hover, .right-link:hover {
	}
	
	body {
		background: white;
		padding: 20px;
		border: 1px solid #c0c0ff;
		margin: 10px;
		margin-top: 50px;
	}
		
	html {
		background: #efefff; 
	}