Sign in
eclipse
/
objectteams
/
org.eclipse.objectteams
/
1ef445d39f8988bf88b23ca7b823dc64b93030bb
/
.
/
plugins
/
org.eclipse.objectteams.otdt.doc
/
guide
/
otguide.css
blob: 77c7bba048d0f3c8ba8bb7fd43441aca11021392 [
file
] [
log
] [
blame
]
.
ui
{
background-color
:
#e0e0e0
;
padding
:
2px
;
}
body
{
margin
:
10px
;
}