Gitiles
Code Review
Sign In
git.eclipse.org
/
objectteams
/
org.eclipse.objectteams
/
395cc714043e8978bf7a9b46df8758cb96ca94da
/
.
/
plugins
/
org.eclipse.objectteams.otdt.doc
/
guide
/
otguide.css
blob: 77c7bba048d0f3c8ba8bb7fd43441aca11021392 [
file
] [
log
] [
blame
]
.
ui
{
background-color
:
#e0e0e0
;
padding
:
2px
;
}
body
{
margin
:
10px
;
}