| #pagetitle { | |
| color: #0D3656; | |
| font-size: 32px; | |
| margin-bottom: 10px; | |
| } | |
| .diagram { | |
| margin-left: -33px; | |
| } | |
| .box { | |
| background-color: #EEEEEE; | |
| border: 1px solid #AAAAAA; | |
| padding: 10px; | |
| margin-bottom: 36px; | |
| } | |
| .state { | |
| margin-bottom: 10px; | |
| } | |
| .transitions { | |
| margin-bottom: 0px; | |
| } | |
| .trans { | |
| padding-top: 20px; | |
| margin-bottom: 0px; | |
| } | |
| .actions { | |
| margin-bottom: 0px; | |
| } |