File: style.css

package info (click to toggle)
coq-doc 8.4pl4-2
  • links: PTS, VCS
  • area: non-free
  • in suites: stretch
  • size: 21,852 kB
  • ctags: 24,335
  • sloc: ml: 140,953; ansic: 1,982; lisp: 1,406; sh: 1,347; makefile: 572; sed: 2
file content (13 lines) | stat: -rw-r--r-- 197 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
#footer {
    border-top: solid black 1pt;
    text-align: center;
    text-indent: 0pt;
}

.menu { }
.menu li {
    display: inline;
    margin: 0pt;
    padding: .5ex 1em;
    list-style: none 
}