Chapter 2 of the BlueJ book. Walk through many of the chapters exercises.

stylesheet.css 13KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575
  1. /* Javadoc style sheet */
  2. /*
  3. Overall document style
  4. */
  5. @import url('resources/fonts/dejavu.css');
  6. body {
  7. background-color:#ffffff;
  8. color:#353833;
  9. font-family:'DejaVu Sans', Arial, Helvetica, sans-serif;
  10. font-size:14px;
  11. margin:0;
  12. }
  13. a:link, a:visited {
  14. text-decoration:none;
  15. color:#4A6782;
  16. }
  17. a:hover, a:focus {
  18. text-decoration:none;
  19. color:#bb7a2a;
  20. }
  21. a:active {
  22. text-decoration:none;
  23. color:#4A6782;
  24. }
  25. a[name] {
  26. color:#353833;
  27. }
  28. a[name]:hover {
  29. text-decoration:none;
  30. color:#353833;
  31. }
  32. pre {
  33. font-family:'DejaVu Sans Mono', monospace;
  34. font-size:14px;
  35. }
  36. h1 {
  37. font-size:20px;
  38. }
  39. h2 {
  40. font-size:18px;
  41. }
  42. h3 {
  43. font-size:16px;
  44. font-style:italic;
  45. }
  46. h4 {
  47. font-size:13px;
  48. }
  49. h5 {
  50. font-size:12px;
  51. }
  52. h6 {
  53. font-size:11px;
  54. }
  55. ul {
  56. list-style-type:disc;
  57. }
  58. code, tt {
  59. font-family:'DejaVu Sans Mono', monospace;
  60. font-size:14px;
  61. padding-top:4px;
  62. margin-top:8px;
  63. line-height:1.4em;
  64. }
  65. dt code {
  66. font-family:'DejaVu Sans Mono', monospace;
  67. font-size:14px;
  68. padding-top:4px;
  69. }
  70. table tr td dt code {
  71. font-family:'DejaVu Sans Mono', monospace;
  72. font-size:14px;
  73. vertical-align:top;
  74. padding-top:4px;
  75. }
  76. sup {
  77. font-size:8px;
  78. }
  79. /*
  80. Document title and Copyright styles
  81. */
  82. .clear {
  83. clear:both;
  84. height:0px;
  85. overflow:hidden;
  86. }
  87. .aboutLanguage {
  88. float:right;
  89. padding:0px 21px;
  90. font-size:11px;
  91. z-index:200;
  92. margin-top:-9px;
  93. }
  94. .legalCopy {
  95. margin-left:.5em;
  96. }
  97. .bar a, .bar a:link, .bar a:visited, .bar a:active {
  98. color:#FFFFFF;
  99. text-decoration:none;
  100. }
  101. .bar a:hover, .bar a:focus {
  102. color:#bb7a2a;
  103. }
  104. .tab {
  105. background-color:#0066FF;
  106. color:#ffffff;
  107. padding:8px;
  108. width:5em;
  109. font-weight:bold;
  110. }
  111. /*
  112. Navigation bar styles
  113. */
  114. .bar {
  115. background-color:#4D7A97;
  116. color:#FFFFFF;
  117. padding:.8em .5em .4em .8em;
  118. height:auto;/*height:1.8em;*/
  119. font-size:11px;
  120. margin:0;
  121. }
  122. .topNav {
  123. background-color:#4D7A97;
  124. color:#FFFFFF;
  125. float:left;
  126. padding:0;
  127. width:100%;
  128. clear:right;
  129. height:2.8em;
  130. padding-top:10px;
  131. overflow:hidden;
  132. font-size:12px;
  133. }
  134. .bottomNav {
  135. margin-top:10px;
  136. background-color:#4D7A97;
  137. color:#FFFFFF;
  138. float:left;
  139. padding:0;
  140. width:100%;
  141. clear:right;
  142. height:2.8em;
  143. padding-top:10px;
  144. overflow:hidden;
  145. font-size:12px;
  146. }
  147. .subNav {
  148. background-color:#dee3e9;
  149. float:left;
  150. width:100%;
  151. overflow:hidden;
  152. font-size:12px;
  153. }
  154. .subNav div {
  155. clear:left;
  156. float:left;
  157. padding:0 0 5px 6px;
  158. text-transform:uppercase;
  159. }
  160. ul.navList, ul.subNavList {
  161. float:left;
  162. margin:0 25px 0 0;
  163. padding:0;
  164. }
  165. ul.navList li{
  166. list-style:none;
  167. float:left;
  168. padding: 5px 6px;
  169. text-transform:uppercase;
  170. }
  171. ul.subNavList li{
  172. list-style:none;
  173. float:left;
  174. }
  175. .topNav a:link, .topNav a:active, .topNav a:visited, .bottomNav a:link, .bottomNav a:active, .bottomNav a:visited {
  176. color:#FFFFFF;
  177. text-decoration:none;
  178. text-transform:uppercase;
  179. }
  180. .topNav a:hover, .bottomNav a:hover {
  181. text-decoration:none;
  182. color:#bb7a2a;
  183. text-transform:uppercase;
  184. }
  185. .navBarCell1Rev {
  186. background-color:#F8981D;
  187. color:#253441;
  188. margin: auto 5px;
  189. }
  190. .skipNav {
  191. position:absolute;
  192. top:auto;
  193. left:-9999px;
  194. overflow:hidden;
  195. }
  196. /*
  197. Page header and footer styles
  198. */
  199. .header, .footer {
  200. clear:both;
  201. margin:0 20px;
  202. padding:5px 0 0 0;
  203. }
  204. .indexHeader {
  205. margin:10px;
  206. position:relative;
  207. }
  208. .indexHeader span{
  209. margin-right:15px;
  210. }
  211. .indexHeader h1 {
  212. font-size:13px;
  213. }
  214. .title {
  215. color:#2c4557;
  216. margin:10px 0;
  217. }
  218. .subTitle {
  219. margin:5px 0 0 0;
  220. }
  221. .header ul {
  222. margin:0 0 15px 0;
  223. padding:0;
  224. }
  225. .footer ul {
  226. margin:20px 0 5px 0;
  227. }
  228. .header ul li, .footer ul li {
  229. list-style:none;
  230. font-size:13px;
  231. }
  232. /*
  233. Heading styles
  234. */
  235. div.details ul.blockList ul.blockList ul.blockList li.blockList h4, div.details ul.blockList ul.blockList ul.blockListLast li.blockList h4 {
  236. background-color:#dee3e9;
  237. border:1px solid #d0d9e0;
  238. margin:0 0 6px -8px;
  239. padding:7px 5px;
  240. }
  241. ul.blockList ul.blockList ul.blockList li.blockList h3 {
  242. background-color:#dee3e9;
  243. border:1px solid #d0d9e0;
  244. margin:0 0 6px -8px;
  245. padding:7px 5px;
  246. }
  247. ul.blockList ul.blockList li.blockList h3 {
  248. padding:0;
  249. margin:15px 0;
  250. }
  251. ul.blockList li.blockList h2 {
  252. padding:0px 0 20px 0;
  253. }
  254. /*
  255. Page layout container styles
  256. */
  257. .contentContainer, .sourceContainer, .classUseContainer, .serializedFormContainer, .constantValuesContainer {
  258. clear:both;
  259. padding:10px 20px;
  260. position:relative;
  261. }
  262. .indexContainer {
  263. margin:10px;
  264. position:relative;
  265. font-size:12px;
  266. }
  267. .indexContainer h2 {
  268. font-size:13px;
  269. padding:0 0 3px 0;
  270. }
  271. .indexContainer ul {
  272. margin:0;
  273. padding:0;
  274. }
  275. .indexContainer ul li {
  276. list-style:none;
  277. padding-top:2px;
  278. }
  279. .contentContainer .description dl dt, .contentContainer .details dl dt, .serializedFormContainer dl dt {
  280. font-size:12px;
  281. font-weight:bold;
  282. margin:10px 0 0 0;
  283. color:#4E4E4E;
  284. }
  285. .contentContainer .description dl dd, .contentContainer .details dl dd, .serializedFormContainer dl dd {
  286. margin:5px 0 10px 0px;
  287. font-size:14px;
  288. font-family:'DejaVu Sans Mono',monospace;
  289. }
  290. .serializedFormContainer dl.nameValue dt {
  291. margin-left:1px;
  292. font-size:1.1em;
  293. display:inline;
  294. font-weight:bold;
  295. }
  296. .serializedFormContainer dl.nameValue dd {
  297. margin:0 0 0 1px;
  298. font-size:1.1em;
  299. display:inline;
  300. }
  301. /*
  302. List styles
  303. */
  304. ul.horizontal li {
  305. display:inline;
  306. font-size:0.9em;
  307. }
  308. ul.inheritance {
  309. margin:0;
  310. padding:0;
  311. }
  312. ul.inheritance li {
  313. display:inline;
  314. list-style:none;
  315. }
  316. ul.inheritance li ul.inheritance {
  317. margin-left:15px;
  318. padding-left:15px;
  319. padding-top:1px;
  320. }
  321. ul.blockList, ul.blockListLast {
  322. margin:10px 0 10px 0;
  323. padding:0;
  324. }
  325. ul.blockList li.blockList, ul.blockListLast li.blockList {
  326. list-style:none;
  327. margin-bottom:15px;
  328. line-height:1.4;
  329. }
  330. ul.blockList ul.blockList li.blockList, ul.blockList ul.blockListLast li.blockList {
  331. padding:0px 20px 5px 10px;
  332. border:1px solid #ededed;
  333. background-color:#f8f8f8;
  334. }
  335. ul.blockList ul.blockList ul.blockList li.blockList, ul.blockList ul.blockList ul.blockListLast li.blockList {
  336. padding:0 0 5px 8px;
  337. background-color:#ffffff;
  338. border:none;
  339. }
  340. ul.blockList ul.blockList ul.blockList ul.blockList li.blockList {
  341. margin-left:0;
  342. padding-left:0;
  343. padding-bottom:15px;
  344. border:none;
  345. }
  346. ul.blockList ul.blockList ul.blockList ul.blockList li.blockListLast {
  347. list-style:none;
  348. border-bottom:none;
  349. padding-bottom:0;
  350. }
  351. table tr td dl, table tr td dl dt, table tr td dl dd {
  352. margin-top:0;
  353. margin-bottom:1px;
  354. }
  355. /*
  356. Table styles
  357. */
  358. .overviewSummary, .memberSummary, .typeSummary, .useSummary, .constantsSummary, .deprecatedSummary {
  359. width:100%;
  360. border-left:1px solid #EEE;
  361. border-right:1px solid #EEE;
  362. border-bottom:1px solid #EEE;
  363. }
  364. .overviewSummary, .memberSummary {
  365. padding:0px;
  366. }
  367. .overviewSummary caption, .memberSummary caption, .typeSummary caption,
  368. .useSummary caption, .constantsSummary caption, .deprecatedSummary caption {
  369. position:relative;
  370. text-align:left;
  371. background-repeat:no-repeat;
  372. color:#253441;
  373. font-weight:bold;
  374. clear:none;
  375. overflow:hidden;
  376. padding:0px;
  377. padding-top:10px;
  378. padding-left:1px;
  379. margin:0px;
  380. white-space:pre;
  381. }
  382. .overviewSummary caption a:link, .memberSummary caption a:link, .typeSummary caption a:link,
  383. .useSummary caption a:link, .constantsSummary caption a:link, .deprecatedSummary caption a:link,
  384. .overviewSummary caption a:hover, .memberSummary caption a:hover, .typeSummary caption a:hover,
  385. .useSummary caption a:hover, .constantsSummary caption a:hover, .deprecatedSummary caption a:hover,
  386. .overviewSummary caption a:active, .memberSummary caption a:active, .typeSummary caption a:active,
  387. .useSummary caption a:active, .constantsSummary caption a:active, .deprecatedSummary caption a:active,
  388. .overviewSummary caption a:visited, .memberSummary caption a:visited, .typeSummary caption a:visited,
  389. .useSummary caption a:visited, .constantsSummary caption a:visited, .deprecatedSummary caption a:visited {
  390. color:#FFFFFF;
  391. }
  392. .overviewSummary caption span, .memberSummary caption span, .typeSummary caption span,
  393. .useSummary caption span, .constantsSummary caption span, .deprecatedSummary caption span {
  394. white-space:nowrap;
  395. padding-top:5px;
  396. padding-left:12px;
  397. padding-right:12px;
  398. padding-bottom:7px;
  399. display:inline-block;
  400. float:left;
  401. background-color:#F8981D;
  402. border: none;
  403. height:16px;
  404. }
  405. .memberSummary caption span.activeTableTab span {
  406. white-space:nowrap;
  407. padding-top:5px;
  408. padding-left:12px;
  409. padding-right:12px;
  410. margin-right:3px;
  411. display:inline-block;
  412. float:left;
  413. background-color:#F8981D;
  414. height:16px;
  415. }
  416. .memberSummary caption span.tableTab span {
  417. white-space:nowrap;
  418. padding-top:5px;
  419. padding-left:12px;
  420. padding-right:12px;
  421. margin-right:3px;
  422. display:inline-block;
  423. float:left;
  424. background-color:#4D7A97;
  425. height:16px;
  426. }
  427. .memberSummary caption span.tableTab, .memberSummary caption span.activeTableTab {
  428. padding-top:0px;
  429. padding-left:0px;
  430. padding-right:0px;
  431. background-image:none;
  432. float:none;
  433. display:inline;
  434. }
  435. .overviewSummary .tabEnd, .memberSummary .tabEnd, .typeSummary .tabEnd,
  436. .useSummary .tabEnd, .constantsSummary .tabEnd, .deprecatedSummary .tabEnd {
  437. display:none;
  438. width:5px;
  439. position:relative;
  440. float:left;
  441. background-color:#F8981D;
  442. }
  443. .memberSummary .activeTableTab .tabEnd {
  444. display:none;
  445. width:5px;
  446. margin-right:3px;
  447. position:relative;
  448. float:left;
  449. background-color:#F8981D;
  450. }
  451. .memberSummary .tableTab .tabEnd {
  452. display:none;
  453. width:5px;
  454. margin-right:3px;
  455. position:relative;
  456. background-color:#4D7A97;
  457. float:left;
  458. }
  459. .overviewSummary td, .memberSummary td, .typeSummary td,
  460. .useSummary td, .constantsSummary td, .deprecatedSummary td {
  461. text-align:left;
  462. padding:0px 0px 12px 10px;
  463. }
  464. th.colOne, th.colFirst, th.colLast, .useSummary th, .constantsSummary th,
  465. td.colOne, td.colFirst, td.colLast, .useSummary td, .constantsSummary td{
  466. vertical-align:top;
  467. padding-right:0px;
  468. padding-top:8px;
  469. padding-bottom:3px;
  470. }
  471. th.colFirst, th.colLast, th.colOne, .constantsSummary th {
  472. background:#dee3e9;
  473. text-align:left;
  474. padding:8px 3px 3px 7px;
  475. }
  476. td.colFirst, th.colFirst {
  477. white-space:nowrap;
  478. font-size:13px;
  479. }
  480. td.colLast, th.colLast {
  481. font-size:13px;
  482. }
  483. td.colOne, th.colOne {
  484. font-size:13px;
  485. }
  486. .overviewSummary td.colFirst, .overviewSummary th.colFirst,
  487. .useSummary td.colFirst, .useSummary th.colFirst,
  488. .overviewSummary td.colOne, .overviewSummary th.colOne,
  489. .memberSummary td.colFirst, .memberSummary th.colFirst,
  490. .memberSummary td.colOne, .memberSummary th.colOne,
  491. .typeSummary td.colFirst{
  492. width:25%;
  493. vertical-align:top;
  494. }
  495. td.colOne a:link, td.colOne a:active, td.colOne a:visited, td.colOne a:hover, td.colFirst a:link, td.colFirst a:active, td.colFirst a:visited, td.colFirst a:hover, td.colLast a:link, td.colLast a:active, td.colLast a:visited, td.colLast a:hover, .constantValuesContainer td a:link, .constantValuesContainer td a:active, .constantValuesContainer td a:visited, .constantValuesContainer td a:hover {
  496. font-weight:bold;
  497. }
  498. .tableSubHeadingColor {
  499. background-color:#EEEEFF;
  500. }
  501. .altColor {
  502. background-color:#FFFFFF;
  503. }
  504. .rowColor {
  505. background-color:#EEEEEF;
  506. }
  507. /*
  508. Content styles
  509. */
  510. .description pre {
  511. margin-top:0;
  512. }
  513. .deprecatedContent {
  514. margin:0;
  515. padding:10px 0;
  516. }
  517. .docSummary {
  518. padding:0;
  519. }
  520. ul.blockList ul.blockList ul.blockList li.blockList h3 {
  521. font-style:normal;
  522. }
  523. div.block {
  524. font-size:14px;
  525. font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
  526. }
  527. td.colLast div {
  528. padding-top:0px;
  529. }
  530. td.colLast a {
  531. padding-bottom:3px;
  532. }
  533. /*
  534. Formatting effect styles
  535. */
  536. .sourceLineNo {
  537. color:green;
  538. padding:0 30px 0 0;
  539. }
  540. h1.hidden {
  541. visibility:hidden;
  542. overflow:hidden;
  543. font-size:10px;
  544. }
  545. .block {
  546. display:block;
  547. margin:3px 10px 2px 0px;
  548. color:#474747;
  549. }
  550. .deprecatedLabel, .descfrmTypeLabel, .memberNameLabel, .memberNameLink,
  551. .overrideSpecifyLabel, .packageHierarchyLabel, .paramLabel, .returnLabel,
  552. .seeLabel, .simpleTagLabel, .throwsLabel, .typeNameLabel, .typeNameLink {
  553. font-weight:bold;
  554. }
  555. .deprecationComment, .emphasizedPhrase, .interfaceName {
  556. font-style:italic;
  557. }
  558. div.block div.block span.deprecationComment, div.block div.block span.emphasizedPhrase,
  559. div.block div.block span.interfaceName {
  560. font-style:normal;
  561. }
  562. div.contentContainer ul.blockList li.blockList h2{
  563. padding-bottom:0px;
  564. }