Sign in
eclipse
/
gerrit
/
objectteams
/
org.eclipse.objectteams
/
862ecb3db5b39fd540ad6672d46f90d57d97d400
/
.
/
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
;
}