Gitiles
Code Review
Sign In
git.eclipse.org
/
objectteams
/
org.eclipse.objectteams
/
aeeb618d1a1d3900b1ee498134044084c010ad6c
/
.
/
plugins
/
org.eclipse.objectteams.otdt.doc
/
guide
/
otguide.css
blob: b917e6484dc8482ca77317d495da7fa046355d8d [
file
] [
log
] [
blame
]
.
ui
{
background-color
:
#e0e0e0
;
padding
:
2px
;
}
.
underline
{
text-decoration
:
underline
;
}
table
.
pad5 td
{
padding
:
5px
;
}
body
{
margin
:
10px
;
}